dmar_hp_release_drhd 2058 drivers/iommu/dmar.c 			       &dmar_hp_release_drhd, NULL);
dmar_hp_release_drhd 2078 drivers/iommu/dmar.c 					       &dmar_hp_release_drhd, NULL));