Searched refs:entry_ctrl_saved (Results 1 – 1 of 1) sorted by relevance
7723 u64 entry_ctrl_saved = vmcs_read(ENT_CONTROLS); in test_host_addr_size() local7728 vmcs_write(ENT_CONTROLS, entry_ctrl_saved | ENT_GUEST_64); in test_host_addr_size()7751 vmcs_write(ENT_CONTROLS, entry_ctrl_saved | ENT_GUEST_64); in test_host_addr_size()