292 	uint64_t value;  member
341 static inline int vmptrst(uint64_t *value)  in vmptrst()  argument
347 		return evmcs_vmptrst(value);  in vmptrst()
350 		: [value]"=m"(tmp), [ret]"=rm"(ret)  in vmptrst()
353 	*value = tmp;  in vmptrst()
363 	uint64_t value = 0;  in vmptrstz()  local
364 	vmptrst(&value);  in vmptrstz()
365 	return value;  in vmptrstz()
452 static inline int vmread(uint64_t encoding, uint64_t *value)  in vmread()  argument
458 		return evmcs_vmread(encoding, value);  in vmread()
461 		: [value]"=rm"(tmp), [ret]"=rm"(ret)  in vmread()
465 	*value = tmp;  in vmread()
475 	uint64_t value = 0;  in vmreadz()  local
476 	vmread(encoding, &value);  in vmreadz()
477 	return value;  in vmreadz()
480 static inline int vmwrite(uint64_t encoding, uint64_t value)  in vmwrite()  argument
485 		return evmcs_vmwrite(encoding, value);  in vmwrite()
489 		: [value]"rm"(value), [encoding]"r"(encoding)  in vmwrite()