Searched refs:CPU_EXEC_CTRL0 (Results 1 – 3 of 3) sorted by relevance
267 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in msr_bmp_init()269 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0); in msr_bmp_init()277 if (vmcs_read(CPU_EXEC_CTRL0) & CPU_MSR_BITMAP) { in get_msr_bitmap()283 vmcs_set_bits(CPU_EXEC_CTRL0, CPU_MSR_BITMAP); in get_msr_bitmap()644 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in iobmp_init()647 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0); in iobmp_init()755 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in iobmp_exit_handler()756 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0 & ~CPU_IO); in iobmp_exit_handler()771 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in iobmp_exit_handler()773 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0); in iobmp_exit_handler()[all …]
266 CPU_EXEC_CTRL0 = 0x4002ul, enumerator
143 { MASK(32), CPU_EXEC_CTRL0 },1103 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu[0]); in init_vmcs_ctrl()