1/** 2 * \file 3 * \brief Kernel debugging functions 4 */ 5 6/* 7 * Copyright (c) 2008, ETH Zurich. 8 * All rights reserved. 9 * 10 * This file is distributed under the terms in the attached LICENSE file. 11 * If you do not find this file, copies can be found by writing to: 12 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 13 */ 14 15#include <kernel.h> 16#include <stdio.h> 17 18#include <xeon_phi.h> 19 20 21void xeon_phi_init_early(void) 22{ 23#if 0 24 x86_init.timers.timer_init = mic_timer_init_common; 25 x86_init.irqs.pre_vector_init = x86_init_noop; 26 27 x86_platform.calibrate_tsc = intel_mic_calibrate_tsc; 28 x86_platform.get_wallclock = intel_mic_get_wallclock; 29 x86_platform.set_wallclock = intel_mic_set_wallclock; 30 31 machine_ops.shutdown = _mic_shutdown; 32 legacy_pic = &null_legacy_pic; 33 mic_sbox_mmio_va = NULL; 34 no_sync_cmos_clock = 1; 35#endif 36} 37