HYPERVISOR_hvm_op
return (HYPERVISOR_hvm_op(HVMOP_set_param, &xhp));
if ((HYPERVISOR_hvm_op(HVMOP_get_param, &xhp) < 0))
error = HYPERVISOR_hvm_op(cmd, arg_ie.ie_kaddr);
extern long HYPERVISOR_hvm_op(int cmd, void *);