Symbol: CSR_CTX_POINTER