Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Merge pull request #165 from simonjbeaumont/ca-141364

CA-141364: Remove redundant (and erroneous bindings)
  • Loading branch information...
commit d603ee2b8456bc2aac99b0a4955f083e22f4f314 2 parents 0409955 + e9bacca
@johnelse johnelse authored
View
2  xenctrlext/xenctrlext.ml
@@ -17,8 +17,6 @@ open Xenctrl
external get_boot_cpufeatures: handle -> (int32 * int32 * int32 * int32 * int32 * int32 * int32 * int32) = "stub_xenctrlext_get_boot_cpufeatures"
external domain_set_timer_mode: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_timer_mode"
-external domain_set_hpet: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_hpet"
-external domain_set_vpt_align: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_vpt_align"
external domain_send_s3resume: handle -> domid -> unit = "stub_xenctrlext_domain_send_s3resume"
external domain_get_acpi_s_state: handle -> domid -> int = "stub_xenctrlext_domain_get_acpi_s_state"
View
2  xenctrlext/xenctrlext.mli
@@ -17,8 +17,6 @@ open Xenctrl
external get_boot_cpufeatures: handle -> (int32 * int32 * int32 * int32 * int32 * int32 * int32 * int32) = "stub_xenctrlext_get_boot_cpufeatures"
external domain_set_timer_mode: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_timer_mode"
-external domain_set_hpet: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_hpet"
-external domain_set_vpt_align: handle -> domid -> int -> unit = "stub_xenctrlext_domain_set_vpt_align"
external domain_send_s3resume: handle -> domid -> unit = "stub_xenctrlext_domain_send_s3resume"
external domain_get_acpi_s_state: handle -> domid -> int = "stub_xenctrlext_domain_get_acpi_s_state"
View
31 xenctrlext/xenctrlext_stubs.c
@@ -125,15 +125,6 @@ static int xcext_domain_set_timer_mode(xc_interface *xch, unsigned int domid, in
HVM_PARAM_TIMER_MODE, (unsigned long) mode);
}
-static int xcext_domain_set_hpet(xc_interface *xch, unsigned int domid, int hpet)
-{
- return xc_set_hvm_param(xch, domid, HVM_PARAM_HPET_ENABLED, (unsigned long) hpet);
-}
-static int xcext_domain_set_vpt_align(xc_interface *xch, unsigned int domid, int vpt_align)
-{
- return xc_set_hvm_param(xch, domid, HVM_PARAM_HPET_ENABLED, (unsigned long) vpt_align);
-}
-
CAMLprim value stub_xenctrlext_domain_get_acpi_s_state(value xch, value domid)
{
CAMLparam2(xch, domid);
@@ -165,28 +156,6 @@ CAMLprim value stub_xenctrlext_domain_set_timer_mode(value xch, value id, value
CAMLreturn(Val_unit);
}
-CAMLprim value stub_xenctrlext_domain_set_hpet(value xch, value id, value mode)
-{
- CAMLparam3(xch, id, mode);
- int ret;
-
- ret = xcext_domain_set_hpet(_H(xch), _D(id), Int_val(mode));
- if (ret < 0)
- failwith_xc(_H(xch));
- CAMLreturn(Val_unit);
-}
-
-CAMLprim value stub_xenctrlext_domain_set_vpt_align(value xch, value id, value mode)
-{
- CAMLparam3(xch, id, mode);
- int ret;
-
- ret = xcext_domain_set_vpt_align(_H(xch), _D(id), Int_val(mode));
- if (ret < 0)
- failwith_xc(_H(xch));
- CAMLreturn(Val_unit);
-}
-
CAMLprim value stub_xenctrlext_domain_trigger_power(value xch, value domid)
{
CAMLparam2(xch, domid);

0 comments on commit d603ee2

Please sign in to comment.
Something went wrong with that request. Please try again.