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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c793 bool gdtr_base_canonical = is_canonical(gdtr_base); local
794 assert(gdtr_base_canonical);
1074 bool gdtr_base_canonical = is_canonical(gdtr_base); local
1075 assert(gdtr_base_canonical);

Completed in 26 milliseconds