337 	uint64_t value;
342 static inline int vmxon(uint64_t phys)  in vmxon()
359 static inline int vmclear(uint64_t vmcs_pa)  in vmclear()
371 static inline int vmptrld(uint64_t vmcs_pa)  in vmptrld()
386 static inline int vmptrst(uint64_t *value)  in vmptrst()
388 	uint64_t tmp;  in vmptrst()
406 static inline uint64_t vmptrstz(void)  in vmptrstz()
408 	uint64_t value = 0;  in vmptrstz()
441 			     : [host_rsp]"r"((uint64_t)HOST_RSP),  in vmlaunch()
442 			       [host_rip]"r"((uint64_t)HOST_RIP)  in vmlaunch()
476 			     : [host_rsp]"r"((uint64_t)HOST_RSP),  in vmresume()
477 			       [host_rip]"r"((uint64_t)HOST_RIP)  in vmresume()
492 static inline int vmread(uint64_t encoding, uint64_t *value)  in vmread()
494 	uint64_t tmp;  in vmread()
513 static inline uint64_t vmreadz(uint64_t encoding)  in vmreadz()
515 	uint64_t value = 0;  in vmreadz()
520 static inline int vmwrite(uint64_t encoding, uint64_t value)  in vmwrite()
542 	uint64_t vmxon_gpa;
546 	uint64_t vmcs_gpa;
550 	uint64_t msr_gpa;
554 	uint64_t shadow_vmcs_gpa;
558 	uint64_t vmread_gpa;
562 	uint64_t vmwrite_gpa;
566 	uint64_t vp_assist_gpa;
570 	uint64_t enlightened_vmcs_gpa;
574 	uint64_t eptp_gpa;
586 		   uint64_t nested_paddr, uint64_t paddr, uint32_t eptp_memslot);
588 		 uint64_t nested_paddr, uint64_t paddr, uint64_t size,