#include <sys/kernel.h>

sys/kernel.h Kernel.framework

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