Searched defs:ipriorityrn (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ | ||
| H A D | gic_v3.h | 101 uint32_t ipriorityrn[255]; /* [0x400, 0x7FC) */ member in struct:gic_dist_map 157 uint32_t ipriorityrn[8]; /* 0x0400 */ member in struct:gic_rdist_sgi_ppi_map |
Completed in 20 milliseconds