hv_synic_init
extern int hv_synic_init(unsigned int cpu);
hv_synic_init(cpu);
hv_synic_init, hv_synic_cleanup);