Symbol: ADDR32_t
usr/src/boot/i386/libi386/pxe.h
73
typedef uint32_t ADDR32_t;
usr/src/grub/grub-0.97/netboot/pxe.h
80
typedef uint32_t ADDR32_t;