IGC_DRIVER_COUNTER
IGC_ATOMIC_ADD(&IGC_DRIVER_COUNTER(sc, cnt), delta)
IGC_ATOMIC_STORE(&IGC_DRIVER_COUNTER(sc, cnt), val)