rmixlfw_cpu_wakeup_info_t
static void rmixl_wakeup_info_print(volatile rmixlfw_cpu_wakeup_info_t *);
volatile rmixlfw_cpu_wakeup_info_t *wip;
wip = (volatile rmixlfw_cpu_wakeup_info_t *)
rmixl_wakeup_info_print(volatile rmixlfw_cpu_wakeup_info_t *wip)