Searched defs:ctrl_saved (Results 1 – 1 of 1) sorted by relevance
7148 u32 ctrl_saved = vmcs_read(ctrl_fld); in test_efer_bit() local7172 u32 ctrl_saved = vmcs_read(ctrl_fld); in test_efer() local7285 u32 ctrl_saved = vmcs_read(ctrl_field); in test_pat() local7461 u64 ctrl_saved = vmcs_read(ctrl_nr); in test_perf_global_ctrl() local