sysreg_restore_guest_state_vhe
void sysreg_restore_guest_state_vhe(struct kvm_cpu_context *ctxt);
sysreg_restore_guest_state_vhe(guest_ctxt);
NOKPROBE_SYMBOL(sysreg_restore_guest_state_vhe);