Searched refs:ctrl_cpu0 (Results 1 – 1 of 1) sorted by relevance
264 u32 ctrl_cpu0; in msr_bmp_init() local267 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in msr_bmp_init()268 ctrl_cpu0 |= CPU_MSR_BITMAP; in msr_bmp_init()269 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0); in msr_bmp_init()640 u32 ctrl_cpu0; in iobmp_init() local644 ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0); in iobmp_init()645 ctrl_cpu0 |= CPU_IO_BITMAP; in iobmp_init()646 ctrl_cpu0 &= (~CPU_IO); in iobmp_init()647 vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0); in iobmp_init()706 u32 insn_len, ctrl_cpu0; in iobmp_exit_handler() local[all …]