VECTOR_PF 78 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_PF (IVT_EXCBASE + EXC_PF) VECTOR_PF 81 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_PF (IVT_EXCBASE + EXC_PF)