Lines Matching refs:uint64_t
40 uint64_t xcr0_allowed;
46 uint64_t vmm_get_host_pat(void);
47 uint64_t vmm_get_host_efer(void);
48 uint64_t vmm_get_host_cr0(void);
49 uint64_t vmm_get_host_cr4(void);
50 uint64_t vmm_get_host_xcr0(void);
51 uint64_t vmm_get_host_datasel(void);
52 uint64_t vmm_get_host_codesel(void);
53 uint64_t vmm_get_host_tsssel(void);
54 uint64_t vmm_get_host_fsbase(void);
55 uint64_t vmm_get_host_idtrbase(void);
61 static __inline uint64_t
65 return ((uint64_t)PCPU_GET(tssp));
68 static __inline uint64_t
72 return ((uint64_t)&gdt[NGDT * curcpu]);
75 static __inline uint64_t
79 return ((uint64_t)get_pcpu());