SATP_MODE_48
return SATP_MODE_48;
return SATP_MODE_48;
satp_mode = SATP_MODE_48;
if (satp_mode_limit == SATP_MODE_48) {
guest_mode_append(VM_MODE_P56V48_4K, satp_mode >= SATP_MODE_48);
guest_mode_append(VM_MODE_P50V48_4K, satp_mode >= SATP_MODE_48);
guest_mode_append(VM_MODE_P41V48_4K, satp_mode >= SATP_MODE_48);
satp_mode = SATP_MODE_48;