kernel: Avoid spurious diagnostic with older gcc47.
commit2a404fe0251b57bc22ff4f56f587fae654e212c6
authorzrj <rimvydas.jasinskas@gmail.com>
Mon, 2 Nov 2020 18:38:20 +0000 (2 18:38 +0000)
committerzrj <rimvydas.jasinskas@gmail.com>
Mon, 2 Nov 2020 19:29:11 +0000 (2 21:29 +0200)
tree2b6eb9a1efe424756719c903576d12eaa1a115aa
parentabb5c9c24d745fe02c1fe256988b1e80c0ea396d
kernel: Avoid spurious diagnostic with older gcc47.
sys/kern/kern_spinlock.c