Searched refs:vmx_enable_tdp (Results 1 – 1 of 1) sorted by relevance
5556 static void vmx_enable_tdp(void) in vmx_enable_tdp() function7925 vmx_enable_tdp(); in hardware_setup()