128 /* See Device_PORT_* above */