Symbol: get_hpet_devid
drivers/iommu/amd/iommu.c
3649
return get_hpet_devid(info->devid);
drivers/iommu/amd/iommu.c
3917
devid = get_hpet_devid(fwspec->param[0]);