Symbol: dmar_find_hpet