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