uppc_post_cpu_start
uppc_post_cpu_start, /* psm_post_cpu_start */
static int uppc_post_cpu_start(void);