Symbol: dmar_free_drhd