hv_hyp_synic_disable_regs
hv_hyp_synic_disable_regs(cpu);
extern void hv_hyp_synic_disable_regs(unsigned int cpu);
hv_hyp_synic_disable_regs(0);