Changeset 571cc2d in mainline for kernel/generic/include/console/console.h

Timestamp:

2025-04-17T15:14:03Z (5 days ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

master

Children:

d5b37b6

Parents:

af77459

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2025-04-11 15:56:15)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2025-04-17 15:14:03)

Message:

Use irq_spinlock_t instead of plain spinlock_t in console code

File:

• kernel/generic/include/console/console.h (modified) (1 diff)

kernel/generic/include/console/console.h

@@ -67 +67 @@
 extern void kio_flush(void);
 extern void kio_push_char(const char32_t);
-SPINLOCK_EXTERN(kio_lock);
+extern irq_spinlock_t kio_lock;
 
 extern sys_errno_t sys_kio(int cmd, uspace_addr_t buf, size_t size);