hyperv_synic_supported
__weak_alias(hyperv_synic_supported, hyperv_nullop);
int hyperv_synic_supported(void);
!hyperv_synic_supported())