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