__pctx_cpc_register_callback
__pctx_cpc_register_callback(cpc_invalidate_pctx);
extern void __pctx_cpc_register_callback(void (*)(struct __cpc *,