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

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h51 typedef struct gic_cpu_iface_map { struct
83 } gic_cpu_iface_map; typedef in typeref:struct:gic_cpu_iface_map
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c33 volatile struct gic_cpu_iface_map *const gic_cpuiface =
34 (volatile struct gic_cpu_iface_map *)(GIC_V2_CONTROLLER_PPTR);
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h90 struct gic_cpu_iface_map { struct
125 extern volatile struct gic_cpu_iface_map *const gic_cpuiface;

Completed in 21 milliseconds