static void kvm_setup_secondary_clock(void)
{
	/*
	 * Now that the first cpu already had this clocksource initialized,
	 * we shouldn't fail.
	 */
	WARN_ON(kvm_register_clock("secondary cpu clock"));
}
static void kvm_setup_secondary_clock(void)
{
	 
	WARN_ON(kvm_register_clock("secondary cpu clock"));
}