Searched refs:vmcs_readm (Results 1 – 2 of 2) sorted by relevance
920 static inline u64 vmcs_readm(enum Encoding enc) in vmcs_readm() function
8397 TEST_ASSERT(vmcs_readm(HOST_CR3) == virt_to_phys(pml5)); in vmx_cr_load_test()8398 TEST_ASSERT(vmcs_readm(HOST_CR4) == (orig_cr4 | X86_CR4_LA57)); in vmx_cr_load_test()8404 TEST_ASSERT(vmcs_readm(HOST_CR3) == orig_cr3); in vmx_cr_load_test()8405 TEST_ASSERT(vmcs_readm(HOST_CR4) == orig_cr4); in vmx_cr_load_test()