Searched refs:first_cpu_index (Results 1 – 3 of 3) sorted by relevance
133 uint32_t first_cpu_index; member
353 DEFINE_PROP_UINT32("first-cpu-index", GICState, first_cpu_index, 0),
62 return current_cpu->cpu_index - s->first_cpu_index; in gic_get_current_cpu()