HelenOS sources

invlpg             67 kernel/arch/amd64/src/mm/tlb.c 		invlpg(page + i * PAGE_SIZE);
invlpg             67 kernel/arch/ia32/src/mm/tlb.c 		invlpg(page + i * PAGE_SIZE);