Search

Sort by

In Project(s)

Searched defs:TIMER_PADDR (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A D	devices.h	`35 #define TIMER_PADDR (ARM_TIMER_BUSADDR-BUS_ADDR_OFFSET+PADDR_OFFSET) macro`
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A D	devices.h	`28 #define TIMER_PADDR APCS_TMR_PADDR macro`

Completed in 40 milliseconds