linux-sg2042/drivers/gpu/drm/armada/armada_ioctlP.h