eb_pxenv_tftp_open
if (eb_pxenv_tftp_open(name, arptable[ARP_SERVER].ipaddr,
(void) eb_pxenv_tftp_open(saved_name, arptable[ARP_SERVER].ipaddr,
if (eb_pxenv_tftp_open(saved_name, arptable[ARP_SERVER].ipaddr,