ALLOCATE CHANNEL FOR MAINTENANCE DEVICE TYPE deviceSpecifier [allocOperandList]