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       1396 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) (PTR_TO_U64(e1000->rx_ring_phys) >> 32));
PTR_TO_U64       1398 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) PTR_TO_U64(e1000->rx_ring_phys));
PTR_TO_U64       1618 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) (PTR_TO_U64(e1000->tx_ring_phys) >> 32));
PTR_TO_U64       1620 uspace/drv/nic/e1k/e1k.c 	    (uint32_t) PTR_TO_U64(e1000->tx_ring_phys));
PTR_TO_U64       2369 uspace/drv/nic/e1k/e1k.c 	tx_descriptor_addr->phys_addr = PTR_TO_U64(e1000->tx_frame_phys[tdt]);