mirror of
https://review.haiku-os.org/haiku
synced 2025-01-27 00:34:50 +01:00
b837149e73
* we need this in arch_cpu.cpp in the bootloader.