Searched refs:aia_guests (Results 1 – 3 of 3) sorted by relevance
587 imsic_num_bits(s->aia_guests + 1)); in create_fdt_imsic()1183 static DeviceState *virt_create_aia(RISCVVirtAIAType aia_type, int aia_guests, in virt_create_aia() argument1207 guest_bits = imsic_num_bits(aia_guests + 1); in virt_create_aia()1211 base_hartid + i, false, 1 + aia_guests, in virt_create_aia()1499 s->irqchip[i] = virt_create_aia(s->aia_type, s->aia_guests, in virt_machine_init()1524 s->aia_guests); in virt_machine_init()1621 return g_strdup_printf("%d", s->aia_guests); in virt_get_aia_guests()1628 s->aia_guests = atoi(val); in virt_set_aia_guests()1629 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()459 uint8_t guest_index_bits = imsic_num_bits(s->aia_guests + 1); in build_madt()
59 int aia_guests; member