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. At >> One 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.
