Searched defs:gicc_base (Results 1 – 2 of 2) sorted by relevance
52 unsigned int gicc_base; member
320 void arm_gic_init(unsigned int gicc_base, in arm_gic_init()