Searched refs:machine_read64 (Results 1 – 1 of 1) sorted by relevance
63 unsigned machine_read64(addr64_t srcaddr, caddr_t dstaddr, uint32_t len);469 machine_read64(addr64_t srcaddr, caddr_t dstaddr, uint32_t len) in machine_read64() function