sys/arch/amd64/stand/efiboot/efiboot.h

36

void efi_makebootargs(void);

sys/arch/amd64/stand/efiboot/exec_i386.c

88

efi_makebootargs();

sys/arch/arm64/stand/efiboot/efiboot.h

23

void *efi_makebootargs(char *, int);

sys/arch/arm64/stand/efiboot/exec.c

115

fdt = efi_makebootargs(args, howto);

sys/arch/armv7/stand/efiboot/efiboot.h

22

void *efi_makebootargs(char *, int);

sys/arch/armv7/stand/efiboot/exec.c

181

fdt = efi_makebootargs(args, howto);

sys/arch/i386/stand/libsa/exec_i386.c

86

efi_makebootargs();

sys/arch/riscv64/stand/efiboot/efiboot.h

22

void *efi_makebootargs(char *, int);

sys/arch/riscv64/stand/efiboot/exec.c

77

fdt = efi_makebootargs(args, howto);