invlpg 324 kernel/arch/amd64/include/arch/asm.h _NO_TRACE static inline void invlpg(uintptr_t addr) invlpg 369 kernel/arch/ia32/include/arch/asm.h _NO_TRACE static inline void invlpg(uintptr_t addr)