hv_call_notify_all_processors_started
ret = hv_call_notify_all_processors_started();
int hv_call_notify_all_processors_started(void);