arch.h File Reference

ARM64 specific kernel interface header. More...

#include <devicetree.h>
#include <arch/arm64/thread.h>
#include <arch/arm64/exc.h>
#include <arch/arm64/irq.h>
#include <arch/arm64/misc.h>
#include <arch/arm64/asm_inline.h>
#include <arch/arm64/cpu.h>
#include <arch/arm64/macro.inc>
#include <arch/arm64/sys_io.h>
#include <arch/arm64/timer.h>
#include <arch/arm64/error.h>
#include <arch/arm64/mm.h>
#include <arch/arm64/thread_stack.h>
#include <arch/common/addr_types.h>
#include <arch/common/sys_bitops.h>
#include <arch/common/ffs.h>
#include <sys/slist.h>

Go to the source code of this file.

Data Structures
struct	arch_mem_domain

Detailed Description

ARM64 specific kernel interface header.

This header contains the ARM64 specific kernel interface. It is included by the kernel interface architecture-abstraction header (include/arm64/cpu.h)