334 	uint64_t value;
339 static inline int vmxon(uint64_t phys)  in vmxon()
356 static inline int vmclear(uint64_t vmcs_pa)  in vmclear()
368 static inline int vmptrld(uint64_t vmcs_pa)  in vmptrld()
383 static inline int vmptrst(uint64_t *value)  in vmptrst()
385 	uint64_t tmp;  in vmptrst()
403 static inline uint64_t vmptrstz(void)  in vmptrstz()
405 	uint64_t value = 0;  in vmptrstz()
438 			     : [host_rsp]"r"((uint64_t)HOST_RSP),  in vmlaunch()
439 			       [host_rip]"r"((uint64_t)HOST_RIP)  in vmlaunch()
473 			     : [host_rsp]"r"((uint64_t)HOST_RSP),  in vmresume()
474 			       [host_rip]"r"((uint64_t)HOST_RIP)  in vmresume()
489 static inline int vmread(uint64_t encoding, uint64_t *value)  in vmread()
491 	uint64_t tmp;  in vmread()
510 static inline uint64_t vmreadz(uint64_t encoding)  in vmreadz()
512 	uint64_t value = 0;  in vmreadz()
517 static inline int vmwrite(uint64_t encoding, uint64_t value)  in vmwrite()
539 	uint64_t vmxon_gpa;
543 	uint64_t vmcs_gpa;
547 	uint64_t msr_gpa;
551 	uint64_t shadow_vmcs_gpa;
555 	uint64_t vmread_gpa;
559 	uint64_t vmwrite_gpa;
563 	uint64_t vp_assist_gpa;
567 	uint64_t enlightened_vmcs_gpa;
571 	uint64_t eptp_gpa;
575 	uint64_t apic_access_gpa;
611 		   uint64_t nested_paddr, uint64_t paddr);
613 		 uint64_t nested_paddr, uint64_t paddr, uint64_t size);