Searched refs:satp_mode_max (Results 1 – 2 of 2) sorted by relevance
258 uint8_t satp_mode_max; in build_rhct() local339 satp_mode_max = satp_mode_max_from_map(cpu->cfg.satp_mode.map); in build_rhct()346 if (satp_mode_max == VM_1_10_SV57) { in build_rhct()348 } else if (satp_mode_max == VM_1_10_SV48) { in build_rhct()350 } else if (satp_mode_max == VM_1_10_SV39) { in build_rhct()
228 uint8_t satp_mode_max; in create_fdt_socket_cpus() local244 satp_mode_max = satp_mode_max_from_map(cpu_ptr->cfg.satp_mode.map); in create_fdt_socket_cpus()246 satp_mode_str(satp_mode_max, is_32_bit)); in create_fdt_socket_cpus()