void body() { set = 1; set = 0; PPBlockInits(); while (1) { if (!(i < Pdolen)) break; __rho_2_ = PPMakeDeviceName(lptNamei, PdoType, dcIdi, num); DName = __rho_2_; if (DName>0) { break; } RtlInitUnicodeString(DName); __rho_3_ = IoCreateDevice(Pdoi); pc = PC_IO; pc = PC_NIO; status = __rho_3_; if (STATUS_SUCCESS != status) { Pdoi = 0; if (STATUS_OBJECT_NAME_COLLISION == status) { ExFreePool(DName); num++; //goto loc_continue; } break; } else { i++; } } num = 0; __rho_1_ = nondet(); if(__rho_1_ > 0) { unset = 1; unset = 0; } PPUnblockInits(); loc_continue:0; while(1) { dummy = dummy; } L_return: return 0; }
void main() { set = 1; set = 0; PPBlockInits(); while (i < Pdolen) { DName = PPMakeDeviceName(lptNamei, PdoType, dcIdi, num); if (!DName) { break; } RtlInitUnicodeString(DName); status = IoCreateDevice(Pdoi); pc = PC_IO; pc = PC_NIO; if (STATUS_SUCCESS != status) { Pdoi = 0; if (STATUS_OBJECT_NAME_COLLISION == status) { ExFreePool(DName); num++; goto loc_continue; } break; } else { i++; } } num = 0; unset = 1; unset = 0; PPUnblockInits(); loc_continue:0; }