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