kern/mpqueue.h Kernel.framework

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