Searched refs:tdt_enabled (Results 1 – 1 of 1) sorted by relevance
45 static bool __read_mostly tdt_enabled; variable1061 if ( tdt_enabled ) in __setup_APIC_LVTT()1290 tdt_enabled = true; in setup_boot_APIC_clock()1342 if ( tdt_enabled ) in reprogram_timer()
Completed in 4 milliseconds