SATP_MODE_39
return SATP_MODE_39;
return SATP_MODE_39;
satp_mode = SATP_MODE_39;
case SATP_MODE_39:
} else if (satp_mode_limit == SATP_MODE_39) {
guest_mode_append(VM_MODE_P56V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P50V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P41V39_4K, satp_mode >= SATP_MODE_39);
satp_mode = SATP_MODE_39;