Symbol: get_dtb_path
sys/stand/efiboot/efiboot.h
64
char *get_dtb_path(void);
sys/stand/efiboot/efifdt.c
604
load_file(get_dtb_path(), 0, false, &dtb_addr, &dtb_size);