Searched refs:TIMER_HP_BASE (Results 1 – 2 of 2) sorted by relevance
51 if ((mmio_read_32(TIMER_HP_BASE + TIMER_HP_CTRL) & 0x1) != 0) in timer_hp_init()54 mmio_write_32(TIMER_HP_BASE + TIMER_HP_CTRL, 0x0); in timer_hp_init()56 mmio_write_32(TIMER_HP_BASE + TIMER_HP_LOAD_COUNT0, 0xffffffff); in timer_hp_init()57 mmio_write_32(TIMER_HP_BASE + TIMER_HP_LOAD_COUNT1, 0xffffffff); in timer_hp_init()58 mmio_write_32(TIMER_HP_BASE + TIMER_HP_INT_EN, 0); in timer_hp_init()60 mmio_write_32(TIMER_HP_BASE + TIMER_HP_CTRL, 0x1); in timer_hp_init()
86 #define TIMER_HP_BASE 0xfd8c8000 macro