sys/dev/xen/timer/xen_timer.c

143

XTREQUIRES(HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, 0, NULL) == 0,

sys/dev/xen/timer/xen_timer.c

291

return (HYPERVISOR_vcpu_op(VCPUOP_set_singleshot_timer, vcpu, &single));

sys/dev/xen/timer/xen_timer.c

298

return (HYPERVISOR_vcpu_op(VCPUOP_stop_singleshot_timer, vcpu, NULL));

sys/dev/xen/timer/xen_timer.c

378

error = HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, i, NULL);

sys/dev/xen/timer/xen_timer.c

472

error = HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, i, NULL);

sys/x86/xen/xen_apic.c

127

rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi, PCPU_GET(vcpu_id), NULL);

sys/x86/xen/xen_apic.c

131

rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi,

sys/x86/xen/xen_apic.c

140

rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi,

sys/x86/xen/xen_apic.c

148

rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi,

sys/xen/xen_common.c

83

rc = HYPERVISOR_vcpu_op(VCPUOP_register_vcpu_info, cpu, &info);