Searched refs:flush_idt_page (Results 1 – 1 of 1) sorted by relevance
44 static void flush_idt_page(void) in flush_idt_page() function231 flush_idt_page(); in main()242 flush_idt_page(); in main()252 flush_idt_page(); in main()262 flush_idt_page(); in main()271 flush_idt_page(); in main()282 flush_idt_page(); in main()292 flush_idt_page(); in main()306 flush_idt_page(); in main()319 flush_idt_page(); in main()[all …]