29.10.2021 00:32, Dmitry Osipenko пишет:
+ /* + * This code gets used during boot-up, when task switching is + * not yet working and interrupts must remain disabled. AtOne space is enough.This comment is replicated multiple times over this source file. You can find it before each down_write(). I borrowed the text as-is, for consistency.
Actually, it should be down_read() here since there are no writes. I'll correct it in v3.
