guest_mode_append
guest_mode_append(VM_MODE_DEFAULT, true);
guest_mode_append(VM_MODE_P52V48_4K, ipa4k >= 52);
guest_mode_append(VM_MODE_P52V48_16K, ipa16k >= 52);
guest_mode_append(VM_MODE_P52V48_64K, ipa64k >= 52);
guest_mode_append(VM_MODE_P48V48_4K, ipa4k >= 48);
guest_mode_append(VM_MODE_P48V48_16K, ipa16k >= 48);
guest_mode_append(VM_MODE_P48V48_64K, ipa64k >= 48);
guest_mode_append(VM_MODE_P40V48_4K, ipa4k >= 40);
guest_mode_append(VM_MODE_P40V48_16K, ipa16k >= 40);
guest_mode_append(VM_MODE_P40V48_64K, ipa64k >= 40);
guest_mode_append(VM_MODE_P36V48_4K, ipa4k >= 36);
guest_mode_append(VM_MODE_P36V48_16K, ipa16k >= 36);
guest_mode_append(VM_MODE_P36V48_64K, ipa64k >= 36);
guest_mode_append(VM_MODE_P36V47_16K, ipa16k >= 36);
guest_mode_append(VM_MODE_P47V64_4K, true);
guest_mode_append(VM_MODE_P56V57_4K, satp_mode >= SATP_MODE_57);
guest_mode_append(VM_MODE_P56V48_4K, satp_mode >= SATP_MODE_48);
guest_mode_append(VM_MODE_P56V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P50V57_4K, satp_mode >= SATP_MODE_57);
guest_mode_append(VM_MODE_P50V48_4K, satp_mode >= SATP_MODE_48);
guest_mode_append(VM_MODE_P50V39_4K, satp_mode >= SATP_MODE_39);
guest_mode_append(VM_MODE_P41V57_4K, satp_mode >= SATP_MODE_57);
guest_mode_append(VM_MODE_P41V48_4K, satp_mode >= SATP_MODE_48);
guest_mode_append(VM_MODE_P41V39_4K, satp_mode >= SATP_MODE_39);