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

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v3.h95 uint32_t icenablern[32]; /* [0x180, 0x200) */ member in struct:gic_dist_map
211 gic_dist->icenablern[word] = BIT(bit);
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c165 gic_dist->icenablern[(i / 32)] = IRQ_SET_ALL;

Completed in 28 milliseconds