Searched refs:buf_uintptr (Results 1 – 1 of 1) sorted by relevance
237 void buf_uintptr(buf_t *b, u64 v) { in buf_uintptr() function363 buf_uintptr(buf, ptr); in free_buffer()435 buf_uintptr(buf, pc->ptr); in handle_cmd()436 buf_uintptr(buf, pc->cookie); in handle_cmd()1296 buf_uintptr(buf, free_ptr); in free_thread()