Symbol: dtb_init
src/system/boot/platform/efi/dtb.h
15
extern void dtb_init();
src/system/boot/platform/efi/start.cpp
256
dtb_init();