+ case CMD_GETGBR:
+ asm volatile("stc gbr, %0" : "=r"(d));
+ write32(&rl[4/4], d);
+ break;
+ case CMD_GETVBR:
+ asm volatile("stc vbr, %0" : "=r"(d));
+ write32(&rl[4/4], d);
+ break;
+ case CMD_GETSR:
+ asm volatile("stc sr, %0" : "=r"(d));
+ write32(&rl[4/4], d);
+ break;
+ case CMD_SETSR:
+ d = read32(&rl[4/4]);
+ asm volatile("ldc %0, sr" :: "r"(d));
+ break;