Searched defs:sgi_base (Results 1 – 2 of 2) sorted by relevance
121 int sgi_base; in its_alloc_vcpu_sgis() local
289 void *sgi_base; in gicv3_cpu_init() local