44 static void flush_idt_page(void)  in flush_idt_page()  function
231 	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()
338 	flush_idt_page();  in main()
347 	flush_idt_page();  in main()
383 	flush_idt_page();  in main()
400 	flush_idt_page();  in main()