Method DeviceLedger

TactilityKernel/source/device.cpp:37–39

    Mutex mutex { 0 };

    DeviceLedger() {
        mutex_construct(&mutex);
    }

    ~DeviceLedger() {
        mutex_destruct(&mutex);