Searched refs:vmm_get_host_idtrbase (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/amd64/vmm/
H A Dvmm_host.h53 uint64_t vmm_get_host_idtrbase(void);
H A Dvmm_host.c159 vmm_get_host_idtrbase(void) function
/freebsd-11-stable/sys/amd64/vmm/intel/
H A Dvmcs.c406 idtrbase = vmm_get_host_idtrbase();

Completed in 57 milliseconds