kvm_timer_hyp_init
err = kvm_timer_hyp_init(vgic_present);
int __init kvm_timer_hyp_init(bool has_gic);