Searched refs:ptr64 (Results 1 – 2 of 2) sorted by relevance
104 uint64_t ptr64; in cpu_read_ptr() local106 ret = cpu_memory_rw_debug(cpu, addr, x64 ? (void *)&ptr64 : (void *)&ptr32, in cpu_read_ptr()109 *ptr = x64 ? ptr64 : ptr32; in cpu_read_ptr()
462 uint32_t *ptr64 = NULL; in xenfb_map_fb() local465 ptr64 = ((void*)page->pd) + 4; in xenfb_map_fb()468 ptr64 = (void*)page->pd; in xenfb_map_fb()476 pd = ptr64; in xenfb_map_fb()