Searched refs:imsic_size (Results 1 – 3 of 3) sorted by relevance
71 uint32_t imsic_size, local_cpu_id, socket_id; in riscv_acpi_madt_add_rintc() local81 imsic_size = IMSIC_HART_SIZE(guest_index_bits); in riscv_acpi_madt_add_rintc()82 imsic_addr = imsic_socket_addr + local_cpu_id * imsic_size; in riscv_acpi_madt_add_rintc()111 build_append_int_noprefix(entry, imsic_size, 4); in riscv_acpi_madt_add_rintc()
516 uint32_t imsic_max_hart_per_socket, imsic_addr, imsic_size; in create_fdt_one_imsic() local534 imsic_size = IMSIC_HART_SIZE(imsic_guest_bits) * in create_fdt_one_imsic()539 imsic_regs[socket * 4 + 3] = cpu_to_be32(imsic_size); in create_fdt_one_imsic()
1269 u32 imsic_size; /* IMSIC size */ member