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