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);