Lines Matching refs:uint64_t
290 uint64_t value;
295 static inline int vmxon(uint64_t phys) in vmxon()
312 static inline int vmclear(uint64_t vmcs_pa) in vmclear()
324 static inline int vmptrld(uint64_t vmcs_pa) in vmptrld()
339 static inline int vmptrst(uint64_t *value) in vmptrst()
341 uint64_t tmp; in vmptrst()
359 static inline uint64_t vmptrstz(void) in vmptrstz()
361 uint64_t value = 0; in vmptrstz()
394 : [host_rsp]"r"((uint64_t)HOST_RSP), in vmlaunch()
395 [host_rip]"r"((uint64_t)HOST_RIP) in vmlaunch()
429 : [host_rsp]"r"((uint64_t)HOST_RSP), in vmresume()
430 [host_rip]"r"((uint64_t)HOST_RIP) in vmresume()
450 static inline int vmread(uint64_t encoding, uint64_t *value) in vmread()
452 uint64_t tmp; in vmread()
471 static inline uint64_t vmreadz(uint64_t encoding) in vmreadz()
473 uint64_t value = 0; in vmreadz()
478 static inline int vmwrite(uint64_t encoding, uint64_t value) in vmwrite()
500 uint64_t vmxon_gpa;
504 uint64_t vmcs_gpa;
508 uint64_t msr_gpa;
512 uint64_t shadow_vmcs_gpa;
516 uint64_t vmread_gpa;
520 uint64_t vmwrite_gpa;
524 uint64_t eptp_gpa;
528 uint64_t apic_access_gpa;
563 uint64_t nested_paddr, uint64_t paddr);
565 uint64_t nested_paddr, uint64_t paddr, uint64_t size);
569 uint64_t addr, uint64_t size);