HelenOS sources

PTR2U32           517 uspace/drv/nic/rtl8139/driver.c 	    PTR2U32(rtl8139->rx_buff_phys));
PTR2U32           886 uspace/drv/nic/rtl8139/driver.c 		uint32_t addr = PTR2U32(rtl8139->tx_buff_phys + i * TX_BUFF_SIZE);
PTR2U32           893 uspace/drv/nic/rtl8139/driver.c 	pio_write_32(io_base + RBSTART, PTR2U32(rtl8139->rx_buff_phys));
PTR2U32           164 uspace/drv/nic/rtl8139/driver.h #define PTR_IS_32(ptr) ((size_t)PTR2U32(ptr) == (size_t)(ptr))