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