idt_setup_early_pf  440 arch/x86/include/asm/desc.h extern void idt_setup_early_pf(void);
idt_setup_early_pf 1156 arch/x86/kernel/setup.c 	idt_setup_early_pf();