HelenOS sources
GEN_READ_REG 401 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr0);
GEN_READ_REG 403 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr2);
GEN_READ_REG 404 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr3);
GEN_READ_REG 406 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(cr4);
GEN_READ_REG 409 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr0);
GEN_READ_REG 410 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr1);
GEN_READ_REG 411 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr2);
GEN_READ_REG 412 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr3);
GEN_READ_REG 413 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr6);
GEN_READ_REG 414 kernel/arch/amd64/include/arch/asm.h GEN_READ_REG(dr7);
GEN_READ_REG 97 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(cr0);
GEN_READ_REG 98 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(cr2);
GEN_READ_REG 99 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(cr3);
GEN_READ_REG 104 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr0);
GEN_READ_REG 105 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr1);
GEN_READ_REG 106 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr2);
GEN_READ_REG 107 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr3);
GEN_READ_REG 108 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr6);
GEN_READ_REG 109 kernel/arch/ia32/include/arch/asm.h GEN_READ_REG(dr7);
HelenOS homepage, sources at GitHub