diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-11-12 21:22:32 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-11-12 21:22:32 +0100 |
| commit | 86f2ef440909059a85222883c4272e7e241fe907 (patch) | |
| tree | ffeb7bd61698605ab12eb934ae247212ce44b323 /kern/rtmutex.c | |
| parent | 65b665d02e7ba2ae4c1eecfb65165ef256173dd5 (diff) | |
x86/boot: work around an SMP-related warning
Diffstat (limited to 'kern/rtmutex.c')
0 files changed, 0 insertions, 0 deletions