Searched refs:PAGING_MODE_64_LA57 (Results 1 – 3 of 3) sorted by relevance
524 PAGING_MODE_64_LA57, enumerator
2192 } else if (paging->paging_mode == PAGING_MODE_64_LA57) { in _vm_gla2gpa()
1952 return (PAGING_MODE_64_LA57); in vmx_paging_mode()