76 static inline long hcall_start_vm(u64 vmid)  in hcall_start_vm()
87 static inline long hcall_pause_vm(u64 vmid)  in hcall_pause_vm()
98 static inline long hcall_destroy_vm(u64 vmid)  in hcall_destroy_vm()
109 static inline long hcall_reset_vm(u64 vmid)  in hcall_reset_vm()
121 static inline long hcall_set_vcpu_regs(u64 vmid, u64 regs_state)  in hcall_set_vcpu_regs()
133 static inline long hcall_inject_msi(u64 vmid, u64 msi)  in hcall_inject_msi()
145 static inline long hcall_vm_intr_monitor(u64 vmid, u64 addr)  in hcall_vm_intr_monitor()
157 static inline long hcall_set_irqline(u64 vmid, u64 op)  in hcall_set_irqline()
169 static inline long hcall_set_ioreq_buffer(u64 vmid, u64 buffer)  in hcall_set_ioreq_buffer()
181 static inline long hcall_notify_req_finish(u64 vmid, u64 vcpu)  in hcall_notify_req_finish()
204 static inline long hcall_assign_pcidev(u64 vmid, u64 addr)  in hcall_assign_pcidev()
216 static inline long hcall_deassign_pcidev(u64 vmid, u64 addr)  in hcall_deassign_pcidev()
228 static inline long hcall_set_ptdev_intr(u64 vmid, u64 irq)  in hcall_set_ptdev_intr()
240 static inline long hcall_reset_ptdev_intr(u64 vmid, u64 irq)  in hcall_reset_ptdev_intr()