Searched refs:idt64_remap (Results 1 – 1 of 1) sorted by relevance
177 void idt64_remap(void);422 idt64_remap(); in Idle_PTs_init()1248 idt64_remap(void) in idt64_remap() function