Symbol: xen_pct_register