HelenOS sources

cr4               406 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr4);
cr4               407 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(cr4);