Symbol: efinet_init_driver
sys/arch/ia64/stand/efi/libefi/efiboot.h
71
extern void efinet_init_driver(void);
sys/arch/ia64/stand/ia64/efi/main.c
129
efinet_init_driver();