get_intid_range
switch (get_intid_range(d)) {
switch (get_intid_range(d)) {
switch (get_intid_range(d)) {
range = get_intid_range(d);
range = get_intid_range(d);
if (get_intid_range(d) == SGI_RANGE)
enum gicv3_intid_range intid_range = get_intid_range(intid);
GUEST_ASSERT(get_intid_range(intid) == SPI_RANGE);
bool is_spi = get_intid_range(intid) == SPI_RANGE;
bool is_spi = get_intid_range(intid) == SPI_RANGE;
cpu_or_dist = (get_intid_range(intid) == SPI_RANGE) ? DIST_BIT : guest_get_vcpuid();