Searched refs:PAGING_MODE_64_LA57 (Results 1 – 4 of 4) sorted by relevance
520 PAGING_MODE_64_LA57, enumerator
320 PAGING_MODE_64_LA57 : PAGING_MODE_64; in guest_paging_info()
2204 } else if (paging->paging_mode == PAGING_MODE_64_LA57) { in _vm_gla2gpa()
2006 return (PAGING_MODE_64_LA57); in vmx_paging_mode()