Searched defs:gic_dist (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c26 volatile struct gic_dist_map *const gic_dist = variable
[all...]
H A Dgic_v3.c34 volatile struct gic_dist_map *const gic_dist = (volatile struct gic_dist_map *)(GICD_PPTR); variable
[all...]

Completed in 28 milliseconds