284 static uint8_t satp_mode_from_str(const char *satp_mode_str)  in satp_mode_from_str()  argument
286     if (!strncmp(satp_mode_str, "mbare", 5)) {  in satp_mode_from_str()
290     if (!strncmp(satp_mode_str, "sv32", 4)) {  in satp_mode_from_str()
294     if (!strncmp(satp_mode_str, "sv39", 4)) {  in satp_mode_from_str()
298     if (!strncmp(satp_mode_str, "sv48", 4)) {  in satp_mode_from_str()
302     if (!strncmp(satp_mode_str, "sv57", 4)) {  in satp_mode_from_str()
306     if (!strncmp(satp_mode_str, "sv64", 4)) {  in satp_mode_from_str()
330 const char *satp_mode_str(uint8_t satp_mode, bool is_32_bit)  in satp_mode_str()  function
990                    satp_mode_str(satp_mode_map_max, rv32),  in riscv_cpu_satp_mode_finalize()
991                    satp_mode_str(satp_mode_supported_max, rv32));  in riscv_cpu_satp_mode_finalize()
1005                            "is enabled", satp_mode_str(i, false),  in riscv_cpu_satp_mode_finalize()
1006                            satp_mode_str(satp_mode_map_max, false));  in riscv_cpu_satp_mode_finalize()