Searched refs:satp_mode_supported_max (Results 1 – 1 of 1) sorted by relevance
1917 int satp_mode_supported_max = cpu->cfg.max_satp_mode; in validate_vm() local1920 assert(satp_mode_supported_max >= 0); in validate_vm()1921 return vm <= satp_mode_supported_max && valid_vm[vm]; in validate_vm()