Searched refs:dbg_hal_device_object_delta (Results 1 – 2 of 2) sorted by relevance
588 extern int dbg_hal_device_object_delta;608 printf ("hal_device_object_delta = %d (should be zero)\n", dbg_hal_device_object_delta); in my_shutdown()
53 int dbg_hal_device_object_delta = 0; variable64 dbg_hal_device_object_delta--; in hal_device_finalize()180 dbg_hal_device_object_delta++; in hal_device_new()