Fix non-debug build
commit543662b3a5a91cc3b12c5ff897d1940f7a0248fc
authorJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 18:57:09 +0000 (20 19:57 +0100)
committerJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 18:57:09 +0000 (20 19:57 +0100)
tree6f248152eeaf2793518c541927fd8f675f5197ef
parenta615be0f62718e4af73eb5a2f4ba35941be7e85a
Fix non-debug build
kernel/generic/include/synch/spinlock.h