Searched defs:ADDR32_t (Results 1 - 1 of 1) sorted by relevance

/external/syslinux/gpxe/src/arch/i386/include/
H A Dpxe_types.h21 * Basic PXE data types such as #UINT16_t, #ADDR32_t, #SEGSEL_t etc.
82 typedef UINT32_t ADDR32_t; typedef
119 ADDR32_t Physical_address; /**< Segment base address */

Completed in 63 milliseconds