vgic_v3_fold_lr_state
vgic_v3_fold_lr_state(vcpu);
void vgic_v3_fold_lr_state(struct kvm_vcpu *vcpu);