cpc_invalidate_pctx
__pctx_cpc_register_callback(cpc_invalidate_pctx);
static void cpc_invalidate_pctx(cpc_t *cpc, pctx_t *pctx);