Searched refs:imsic_num_bits (Results 1 – 3 of 3) sorted by relevance
133 uint32_t imsic_num_bits(uint32_t count);
69 uint8_t guest_index_bits = imsic_num_bits(s->aia_guests + 1); in riscv_acpi_madt_add_rintc()490 uint8_t group_index_bits = imsic_num_bits(riscv_socket_count(ms)); in build_madt()491 uint8_t guest_index_bits = imsic_num_bits(s->aia_guests + 1); in build_madt()504 hart_index_bits = imsic_num_bits(imsic_max_hart_per_socket); in build_madt()
497 uint32_t imsic_num_bits(uint32_t count) in imsic_num_bits() function570 imsic_num_bits(imsic_max_hart_per_socket)); in create_fdt_one_imsic()572 imsic_num_bits(socket_count)); in create_fdt_one_imsic()595 imsic_num_bits(s->aia_guests + 1)); in create_fdt_imsic()1258 guest_bits = imsic_num_bits(aia_guests + 1); in virt_create_aia()