Searched refs:es_base (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 213 uint64_t es_base; local 214 err += vmread(VMX_GUEST_ES_BASE, &es_base); 215 bool es_base_canonical = is_canonical(es_base); |
Completed in 9 milliseconds