/*
* Copyright (c) 2019 Intel Corporation
* SPDX-License-Identifier: Apache-2.0
*/
#include <kernel.h>
uint8_t x86_cpu_loapics[] = { 0x00, 0x02, 0x04, 0x06 };