ALLOCATE CHANNEL FOR MAINTENANCE DEVICE TYPE
[=] deviceSpecifier [allocOperandList];