Searched defs: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() local
516 uint32_t imsic_max_hart_per_socket, imsic_addr, imsic_size; in create_fdt_one_imsic() local