/* | |
* 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 | |
typedef struct z_arch_esf_t z_arch_esf_t; | |
#endif /* _X86_64_ARCH_H */ |