Searched refs:host_cr3 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 905 uint64_t host_cr3; local 906 errval_t err = vmread(VMX_HOST_CR3, &host_cr3); 909 bool within_pa_width = is_within_pa_width(host_cr3); |
Completed in 73 milliseconds