Searched refs:GIC_TYPE_MAX (Results 1 – 2 of 2) sorted by relevance
11 GIC_TYPE_MAX, enumerator
57 GUEST_ASSERT(type < GIC_TYPE_MAX); in gic_init()