Symbol: ACRN_IO_REQUEST_MAX