Searched refs:sgi_control (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h41 uint32_t sgi_control; /* 0xF00 */ member in struct:gic_dist_map_t
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c200 gic_dist->sgi_control = (cpuTargetList << (GICD_SGIR_CPUTARGETLIST_SHIFT)) | (IRQT_TO_IRQ(
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h80 uint32_t sgi_control; /* 0xF00 */ member in struct:gic_dist_map

Completed in 347 milliseconds