HelenOS sources

PTR_TO_U64       1104 uspace/drv/nic/e1k/e1k.c 	rx_descriptor->phys_addr = PTR_TO_U64(e1000->rx_frame_phys[offset]);
PTR_TO_U64       1395 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) (PTR_TO_U64(e1000->rx_ring_phys) >> 32));
PTR_TO_U64       1397 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) PTR_TO_U64(e1000->rx_ring_phys));
PTR_TO_U64       1617 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) (PTR_TO_U64(e1000->tx_ring_phys) >> 32));
PTR_TO_U64       1619 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) PTR_TO_U64(e1000->tx_ring_phys));
PTR_TO_U64       2368 uspace/drv/nic/e1k/e1k.c 	tx_descriptor_addr->phys_addr = PTR_TO_U64(e1000->tx_frame_phys[tdt]);