Searched refs:ctrl_cpu (Results 1 – 2 of 2) sorted by relevance
46 u32 ctrl_pin, ctrl_enter, ctrl_exit, ctrl_cpu[2]; variable1103 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu[0]); in init_vmcs_ctrl()1105 ctrl_cpu[1] = (ctrl_cpu[1] | ctrl_cpu_rev[1].set) & in init_vmcs_ctrl()1107 vmcs_write(CPU_EXEC_CTRL1, ctrl_cpu[1]); in init_vmcs_ctrl()1255 ctrl_cpu[0] &= (~(CPU_IO | CPU_IO_BITMAP)); in init_vmcs()1256 ctrl_cpu[1] = 0; in init_vmcs()1261 ctrl_cpu[0] = (ctrl_cpu[0] | ctrl_cpu_rev[0].set) & ctrl_cpu_rev[0].clr; in init_vmcs()
925 u32 ctrl_cpu, cur_insn; in insn_intercept_init() local927 ctrl_cpu = ctrl_cpu_rev[0].set | CPU_SECONDARY; in insn_intercept_init()928 ctrl_cpu &= ctrl_cpu_rev[0].clr; in insn_intercept_init()929 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu); in insn_intercept_init()1517 u32 ctrl_cpu; in pml_init() local1533 ctrl_cpu = vmcs_read(CPU_EXEC_CTRL1) | CPU_PML; in pml_init()1534 vmcs_write(CPU_EXEC_CTRL1, ctrl_cpu); in pml_init()