Symbol: pxecall_bangpxe
sys/arch/i386/stand/pxeboot/pxe.c
107
void pxecall_bangpxe(uint16_t); /* pxe_call.S */
sys/arch/i386/stand/pxeboot/pxe.c
359
pxe_call = pxecall_bangpxe;