Symbol: get_initrd_path
sys/stand/efiboot/efiboot.h
62
char *get_initrd_path(void);
sys/stand/efiboot/efifdt.c
603
load_file(get_initrd_path(), 0, false, &initrd_addr, &initrd_size);