#include <os/workgroup.h>

os/workgroup.h

__OS_WORKGROUP_INDIRECT__

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