[ deviceoptions ]

コマンド行オプションの deviceoptions は、-dev オプションで指定したデバイスの動作を変更するデバイス修飾子を指示します。