Searched refs:idtr_lim (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 799 uint64_t gdtr_lim, idtr_lim; local 801 err += vmread(VMX_GUEST_IDTR_LIM, &idtr_lim); 804 assert((idtr_lim & 0xFFFF0000) == 0); |
Completed in 30 milliseconds