EDSP
[COMPAT_KERNEL_HWCAP(EDSP)] = "edsp",
ctx->cp0_regs[EDSP] = read_c0_brcm_edsp();
write_c0_brcm_edsp(ctx->cp0_regs[EDSP]);