Searched refs:hart_index_bits (Results 1 – 2 of 2) sorted by relevance
493 uint8_t hart_index_bits; in build_madt() local504 hart_index_bits = imsic_num_bits(imsic_max_hart_per_socket); in build_madt()534 build_append_int_noprefix(table_data, hart_index_bits, 1); in build_madt()
1289 u8 hart_index_bits; member