Method DriverLedger

TactilityKernel/source/driver.cpp:24–24

    Mutex mutex {};

    DriverLedger() { mutex_construct(&mutex); }
    ~DriverLedger() { mutex_destruct(&mutex); }

    void lock() { mutex_lock(&mutex); }