Searched refs:ss_lim (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 573 uint64_t ss_lim; local 574 err += vmread(VMX_GUEST_SS_LIM, &ss_lim); 576 if ((ss_lim & 0xFFF) ^ 0xFFF) { 580 if ((ss_lim >> 20) & 0xFFF) { |
Completed in 42 milliseconds