Home
last modified time | relevance | path

Searched refs:ADDR32_t (Results 1 – 2 of 2) sorted by relevance

/external/syslinux/gpxe/src/arch/i386/include/
Dpxe_types.h82 typedef UINT32_t ADDR32_t; typedef
119 ADDR32_t Physical_address; /**< Segment base address */
Dpxe_api.h667 ADDR32_t Buffer; /**< Address of data buffer */
910 ADDR32_t ProtocolIni;