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