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

/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v3.c38 volatile struct gic_rdist_map *gic_rdist_map[CONFIG_MAX_NUM_NODES] = { 0 }; variable in typeref:struct:gic_rdist_map
120 gicv3_do_wait_for_rwp(&gic_rdist_map[CURRENT_CPU_INDEX()]->ctlr);
193 uint64_t typer = ((struct gic_rdist_map *)((word_t)gicr_base + offset))->typer;
200 if (gic_rdist_map[core_id] != NULL || gic_rdist_sgi_ppi_map[core_id] != NULL) {
202 gic_rdist_map[core_id] == NULL ? "gic_rdist_map" : "gic_rdist_sgi_ppi_map",
204 gic_rdist_map[core_id] == NULL ? (void *)gic_rdist_map[core_id] : (void *)gic_rdist_sgi_ppi_map[core_id]);
207 gic_rdist_map[core_i
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v3.h120 struct gic_rdist_map { /* Starting */ struct
168 extern volatile struct gic_rdist_map *gic_rdist_map[CONFIG_MAX_NUM_NODES];

Completed in 79 milliseconds