Searched refs:ctrl_nr (Results 1 – 1 of 1) sorted by relevance
7458 static void test_perf_global_ctrl(u32 nr, const char *name, u32 ctrl_nr, in test_perf_global_ctrl() argument7461 u64 ctrl_saved = vmcs_read(ctrl_nr); in test_perf_global_ctrl()7469 vmcs_write(ctrl_nr, ctrl_saved & ~ctrl_val); in test_perf_global_ctrl()7483 vmcs_write(ctrl_nr, ctrl_saved | ctrl_val); in test_perf_global_ctrl()7513 vmcs_write(ctrl_nr, ctrl_saved); in test_perf_global_ctrl()