hv_call_notify_all_processors_started
int hv_call_notify_all_processors_started(void)
static inline int hv_call_notify_all_processors_started(void)