HelenOS sources

cr3               404 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr3);
cr3               405 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(cr3);
cr3                99 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(cr3);
cr3               100 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(cr3);
cr3               126 kernel/arch/ia32/include/arch/pm.h 	uint32_t cr3;