ACRN_IOREQ_STATE_PROCESSING
ACRN_IOREQ_STATE_PROCESSING);
if ((__sync_add_and_fetch(&io_req->processed, 0) == ACRN_IOREQ_STATE_PROCESSING)