Symbol: S_TCB_RDMAP_OPCODE