Searched defs:cpu_base (Results 1 – 2 of 2) sorted by relevance
25 void *cpu_base; member
12 void *cpu_base = gicv2_cpu_base(); in gicv2_enable_defaults() local