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