sysreg_restore_host_state_vhe
void sysreg_restore_host_state_vhe(struct kvm_cpu_context *ctxt);
sysreg_restore_host_state_vhe(host_ctxt);
sysreg_restore_host_state_vhe(host_ctxt);
NOKPROBE_SYMBOL(sysreg_restore_host_state_vhe);