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

/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v3.h147 uint32_t icenabler0; /* 0x0180 */ member in struct:gic_rdist_sgi_ppi_map
209 gic_rdist_sgi_ppi_map[CURRENT_CPU_INDEX()]->icenabler0 = BIT(bit);
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v3.c256 gic_rdist_sgi_ppi_map[CURRENT_CPU_INDEX()]->icenabler0 = 0xffff0000;

Completed in 34 milliseconds