Searched refs:idt64_remap (Results 1 – 1 of 1) sorted by relevance
180 void idt64_remap(void);425 idt64_remap(); in Idle_PTs_init()1251 idt64_remap(void) in idt64_remap() function