/** * PROJECT: ExectOS * COPYRIGHT: See COPYING.md in the top level directory * FILE: sdk/xtdk/xtkmapi.h * DESCRIPTION: Top level header for the kernel-mode XT API * DEVELOPERS: Rafal Kupiec */ /* Base XT headers */ #include #include #include #include /* XT forward references */ #include /* Architecture-specific XT forward references */ #include ARCH_HEADER(xtstruct.h) /* Architecture-independent XT API */ #include #include #include #include #include #include /* Low level data types headers */ #include #include #include #include #include #include #include #include /* Architecture-specific low level data types headers */ #include ARCH_HEADER(artypes.h) #include ARCH_HEADER(hltypes.h) #include ARCH_HEADER(ketypes.h) #include ARCH_HEADER(mmtypes.h) /* XT routines */ #include #include #include #include /* Architecture specific XT routines */ #include ARCH_HEADER(arfuncs.h) #include ARCH_HEADER(hlfuncs.h)