Searched refs:mmio_read64 (Results 1 – 3 of 3) sorted by relevance
134 static inline uint64_t mmio_read64(const void *addr) in mmio_read64() function186 val = mmio_read64(addr); in mmio_read()
84 cfg = mmio_read64(hpet_hva + HPET_CFG); in hpet_init()
235 return mmio_read64(hpa2hva(dmar_unit->drhd->reg_base_addr + offset)); in iommu_read64()
Completed in 9 milliseconds