Searched refs:uuidbufptr (Results 1 – 1 of 1) sorted by relevance
1692 char *uuidbufptr = uuidbuf; in print_uuid_info() local1730 if (have_pmap && !debug_copyin(task->map->pmap, uuid_info_addr, uuidbufptr, in print_uuid_info()1738 current_uuid_buffer = uuidbufptr; in print_uuid_info()