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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h224 static inline uint64_t tr_addr(uint16_t tr_sel, uint64_t gdtr_base) argument
229 uint64_t *gdt_new = (uint64_t *)gdtr_base;
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c790 uint64_t gdtr_base, idtr_base; local
791 errval_t err = vmread(VMX_GUEST_GDTR_BASE, &gdtr_base);
793 bool gdtr_base_canonical = is_canonical(gdtr_base);
1070 uint64_t gdtr_base; local
1071 err += vmread(VMX_GUEST_GDTR_BASE, &gdtr_base);
1074 bool gdtr_base_canonical = is_canonical(gdtr_base);

Completed in 39 milliseconds