Searched refs:GIC_V2_BASE (Results 1 – 2 of 2) sorted by relevance
| /bsp/raspberry-pi/raspi4-64/drivers/ | ||
| A D | board.c | 39 size_t gic_base_addr = GIC_V2_BASE; |
| A D | raspi4.h | 124 #define GIC_V2_BASE (INTC_BASE + 0x00040000) macro |
Completed in 5 milliseconds