Symbol: ADDR32_t
sys/arch/amd64/stand/libsa/pxe.h
64
typedef uint32_t ADDR32_t;
sys/arch/i386/stand/libsa/pxe.h
64
typedef uint32_t ADDR32_t;