Searched defs:cr4_saved (Results 1 – 2 of 2) sorted by relevance
2300 u64 cr4_saved = vmcb->save.cr4; in test_efer() local2404 u64 cr4_saved = vmcb->save.cr4; in test_cr3() local2452 u64 cr4_saved = vmcb->save.cr4; in test_cr4() local
7721 u64 cr4_saved = vmcs_read(HOST_CR4); in test_host_addr_size() local