/*
 * Copyright (c) 2021 Intel Corporation
 * SPDX-License-Identifier: Apache-2.0
 */
#include <stdint.h>

/* Local APIC IDs for each logical CPU */
uint8_t x86_cpu_loapics[] = { 0x00, 0x02, 0x04, 0x06 };
