Searched refs:riscv_socket_hart_count (Results 1 – 6 of 6) sorted by relevance
59 int riscv_socket_hart_count(const MachineState *ms, int socket_id);
78 int riscv_socket_hart_count(const MachineState *ms, int socket_id) in riscv_socket_hart_count() function
229 hart_count = riscv_socket_hart_count(machine, i); in spike_board_init()
78 riscv_socket_hart_count(ms, socket_id); in riscv_acpi_madt_add_rintc()
1465 hart_count = riscv_socket_hart_count(machine, i); in virt_machine_init()
1783 hart_count = riscv_socket_hart_count(machine, socket); in kvm_riscv_aia_create()