/* | |
* Copyright (c) 2018 Intel Corporation | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#ifndef _X86_64_ARCH_H | |
#define _X86_64_ARCH_H | |
#include <kernel_arch_func.h> | |
#include <arch/common/sys_io.h> | |
#include <arch/common/ffs.h> | |
#define STACK_ALIGN 8 | |
#define DT_INST_0_INTEL_HPET_BASE_ADDRESS 0xFED00000U | |
#define DT_INST_0_INTEL_HPET_IRQ_0 2 | |
#define DT_INST_0_INTEL_HPET_IRQ_0_PRIORITY 4 | |
typedef struct z_arch_esf_t z_arch_esf_t; | |
#endif /* _X86_64_ARCH_H */ |