Searched refs:ipriorityrn (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v3.h101 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
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c161 gic_dist->ipriorityrn[(i / 4)] = priority;
249 gic_rdist_sgi_ppi_map[CURRENT_CPU_INDEX()]->ipriorityrn[i / 4] = priority;

Completed in 28 milliseconds