Symbol: pxe_fini
sys/arch/i386/stand/pxeboot/main.c
95
pxe_fini();
sys/arch/i386/stand/pxeboot/pxeboot.h
55
void pxe_fini(void);