#include <libkern/OSBase.h>

libkern/OSBase.h Kernel.framework

_OS_OSBASE_H

This header declares nothing itself under the arm64 configuration; it groups the headers below.

also includes: Kernel/stdint.h