Searched refs:ADDR32_t (Results 1 - 1 of 1) sorted by relevance
/freebsd-10.2-release/sys/boot/i386/libi386/ | ||
H A D | pxe.h | 71 typedef uint32_t ADDR32_t; typedef 148 ADDR32_t ProtocolIni; /* Phys addr of a copy of the driver module */ 389 ADDR32_t Buffer; |
Completed in 46 milliseconds