Searched defs:ctrl0 (Results 1 – 1 of 1) sorted by relevance
5025 u32 ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in enable_mtf() local5032 u32 ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in disable_mtf() local