Searched refs:guest_ar_cs (Results 1 – 1 of 1) sorted by relevance
5156 u32 guest_ar_cs; in vmx_mtf_pdpte_test() local5218 guest_ar_cs = vmcs_read(GUEST_AR_CS); in vmx_mtf_pdpte_test()5305 vmcs_write(GUEST_AR_CS, guest_ar_cs); in vmx_mtf_pdpte_test()