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