/*
 * 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 */