Searched refs:tdt_enabled (Results 1 – 1 of 1) sorted by relevance
42 static bool __read_mostly tdt_enabled; variable1074 if ( tdt_enabled ) in __setup_APIC_LVTT()1212 tdt_enabled = true; in setup_boot_APIC_clock()1264 if ( tdt_enabled ) in reprogram_timer()
Completed in 5 milliseconds