HYPERVISOR_physdev_op
(void) HYPERVISOR_physdev_op(PHYSDEVOP_set_iopl, &set_iopl);
rc = HYPERVISOR_physdev_op(PHYSDEVOP_manage_pci_add, &manage_pci);
rc = HYPERVISOR_physdev_op(PHYSDEVOP_map_pirq, &map_irq);
rc = HYPERVISOR_physdev_op(PHYSDEVOP_map_pirq, &map_irq);
rc = HYPERVISOR_physdev_op(PHYSDEVOP_unmap_pirq, &unmap_pirq);
if (HYPERVISOR_physdev_op(PHYSDEVOP_apic_read, &apic))
if (HYPERVISOR_physdev_op(PHYSDEVOP_apic_write, &apic))
if (HYPERVISOR_physdev_op(PHYSDEVOP_apic_write, &apic))
if ((rc = HYPERVISOR_physdev_op(PHYSDEVOP_alloc_irq_vector, &irq_op))
(void) HYPERVISOR_physdev_op(PHYSDEVOP_eoi, &eoi);
(void) HYPERVISOR_physdev_op(PHYSDEVOP_irq_status_query, &irq_status);
(void) HYPERVISOR_physdev_op(PHYSDEVOP_set_iopl, &set_iopl);
(void) HYPERVISOR_physdev_op(PHYSDEVOP_set_iopl, &set_iopl);
extern long HYPERVISOR_physdev_op(int, void *);