Searched refs:imsic_max_hart_per_socket (Results 1 – 2 of 2) sorted by relevance
492 uint16_t imsic_max_hart_per_socket = 0; in build_madt() local499 if (imsic_max_hart_per_socket < s->soc[socket].num_harts) { in build_madt()500 imsic_max_hart_per_socket = s->soc[socket].num_harts; in build_madt()504 hart_index_bits = imsic_num_bits(imsic_max_hart_per_socket); in build_madt()
516 uint32_t imsic_max_hart_per_socket, imsic_addr, imsic_size; in create_fdt_one_imsic() local531 imsic_max_hart_per_socket = 0; in create_fdt_one_imsic()540 if (imsic_max_hart_per_socket < s->soc[socket].num_harts) { in create_fdt_one_imsic()541 imsic_max_hart_per_socket = s->soc[socket].num_harts; in create_fdt_one_imsic()570 imsic_num_bits(imsic_max_hart_per_socket)); in create_fdt_one_imsic()