Searched refs:riscv_socket_count (Results 1 – 6 of 6) sorted by relevance
33 int riscv_socket_count(const MachineState *ms) in riscv_socket_count() function174 dist_matrix_size = riscv_socket_count(ms) * riscv_socket_count(ms); in riscv_socket_fdt_write_distance_matrix()178 for (i = 0; i < riscv_socket_count(ms); i++) { in riscv_socket_fdt_write_distance_matrix()179 for (j = 0; j < riscv_socket_count(ms); j++) { in riscv_socket_fdt_write_distance_matrix()180 idx = (i * riscv_socket_count(ms) + j) * 3; in riscv_socket_fdt_write_distance_matrix()
99 for (socket = (riscv_socket_count(ms) - 1); socket >= 0; socket--) { in create_fdt()211 if (SPIKE_SOCKETS_MAX < riscv_socket_count(machine)) { in spike_board_init()218 for (i = 0; i < riscv_socket_count(machine); i++) { in spike_board_init()
436 socket_count = riscv_socket_count(ms); in build_dsdt()490 uint8_t group_index_bits = imsic_num_bits(riscv_socket_count(ms)); in build_madt()498 for (socket = 0; socket < riscv_socket_count(ms); socket++) { in build_madt()543 for (socket = 0; socket < riscv_socket_count(ms); socket++) { in build_madt()573 for (socket = 0; socket < riscv_socket_count(ms); socket++) { in build_madt()
515 int socket_count = riscv_socket_count(ms); in create_fdt_one_imsic()737 int socket_count = riscv_socket_count(ms); in create_fdt_sockets()1460 int socket_count = riscv_socket_count(machine); in virt_machine_init()
32 int riscv_socket_count(const MachineState *ms);
1701 uint64_t socket_count = riscv_socket_count(machine); in kvm_riscv_aia_create()