Searched refs:MMIO_HPET_BASE (Results 1 – 2 of 2) sorted by relevance
29 volatile uint32_t *ptr = (uint32_t *)(MMIO_HPET_BASE + reg); in write_hpet()37 (uint32_t *)(MMIO_HPET_BASE + HPET_OFF_MAIN_COUNT_LOW); in read_hpet_main_low()
29 #define MMIO_HPET_BASE 0xfed00000UL macro