HelenOS sources
GEN_WRITE_REG 402 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(cr0);
GEN_WRITE_REG 405 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(cr3);
GEN_WRITE_REG 407 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(cr4);
GEN_WRITE_REG 416 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr0);
GEN_WRITE_REG 417 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr1);
GEN_WRITE_REG 418 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr2);
GEN_WRITE_REG 419 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr3);
GEN_WRITE_REG 420 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr6);
GEN_WRITE_REG 421 kernel/arch/amd64/include/arch/asm.h GEN_WRITE_REG(dr7);
GEN_WRITE_REG 100 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(cr3);
GEN_WRITE_REG 102 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(cr0);
GEN_WRITE_REG 111 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr0);
GEN_WRITE_REG 112 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr1);
GEN_WRITE_REG 113 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr2);
GEN_WRITE_REG 114 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr3);
GEN_WRITE_REG 115 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr6);
GEN_WRITE_REG 116 kernel/arch/ia32/include/arch/asm.h GEN_WRITE_REG(dr7);
HelenOS homepage, sources at GitHub