Searched refs:aia_guests (Results 1 – 3 of 3) sorted by relevance
59 int aia_guests; member
595 imsic_num_bits(s->aia_guests + 1)); in create_fdt_imsic()1234 static DeviceState *virt_create_aia(RISCVVirtAIAType aia_type, int aia_guests, in virt_create_aia() argument1258 guest_bits = imsic_num_bits(aia_guests + 1); in virt_create_aia()1262 base_hartid + i, false, 1 + aia_guests, in virt_create_aia()1550 s->irqchip[i] = virt_create_aia(s->aia_type, s->aia_guests, in virt_machine_init()1575 s->aia_guests); in virt_machine_init()1672 return g_strdup_printf("%d", s->aia_guests); in virt_get_aia_guests()1679 s->aia_guests = atoi(val); in virt_set_aia_guests()1680 if (s->aia_guests < 0 || s->aia_guests > VIRT_IRQCHIP_MAX_GUESTS) { in virt_set_aia_guests()
69 uint8_t guest_index_bits = imsic_num_bits(s->aia_guests + 1); in riscv_acpi_madt_add_rintc()491 uint8_t guest_index_bits = imsic_num_bits(s->aia_guests + 1); in build_madt()