void* BCSP_PnpAdd(void* arg) { int status; status = BCSP_IoIncrement(); if (status == 0) { __VERIFIER_assert(!stopped); BCSP_IoDecrement(); } }
void BCSP_PnpAdd(DEVICE_EXTENSION *e) { int status; status = BCSP_IoIncrement(e); if (status == 0) { //do work here assert(!stopped); } BCSP_IoDecrement(e); }