d = read32(&rl[8/4]);
write32(a, d);
break;
+ case CMD_GETGBR:
+ asm("stc gbr, %0" : "=r"(d));
+ write32(&rl[4/4], d);
+ break;
+ case CMD_GETVBR:
+ asm("stc vbr, %0" : "=r"(d));
+ write32(&rl[4/4], d);
+ break;
default:
r[2/2]++; // error
mem_barrier();