armada_ioctlP.h   27 drivers/gpu/drm/armada/armada_drv.c #include "armada_ioctlP.h"
armada_ioctlP.h   16 drivers/gpu/drm/armada/armada_gem.c #include "armada_ioctlP.h"
armada_ioctlP.h   19 drivers/gpu/drm/armada/armada_overlay.c #include "armada_ioctlP.h"