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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c790 uint64_t gdtr_base, idtr_base; local
792 err += vmread(VMX_GUEST_IDTR_BASE, &idtr_base);
796 bool idtr_base_canonical = is_canonical(idtr_base);
1065 uint64_t idtr_base; local
1066 errval_t err = vmread(VMX_GUEST_IDTR_BASE, &idtr_base);
1067 bool idtr_base_canonical = is_canonical(idtr_base);

Completed in 21 milliseconds