Searched refs:ctrl0 (Results 1 – 1 of 1) sorted by relevance
5025 u32 ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in enable_mtf() local5027 vmcs_write(CPU_EXEC_CTRL0, ctrl0 | CPU_MTF); in enable_mtf()5032 u32 ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in disable_mtf() local5034 vmcs_write(CPU_EXEC_CTRL0, ctrl0 & ~CPU_MTF); in disable_mtf()