Symbol: xlog_cil_set_ctx_write_state