Symbol: ARMADA_IOCTL