53 	uint64_t	seqnum;  member
219 		uint64_t	seqnum;  in door_server()  local
224 		seqnum = get_seqnum();  in door_server()
225 		if (nvlist_add_uint64(results, HPD_SEQNUM, seqnum) != 0) {  in door_server()
240 		add_buffer(seqnum, buf);  in door_server()
545 	uint64_t seqnum;  in get_seqnum()  local
549 	seqnum = buffer_seqnum++;  in get_seqnum()
553 	return (seqnum);  in get_seqnum()
562 add_buffer(uint64_t seqnum, char *buf)  in add_buffer()  argument
573 	node->seqnum = seqnum;  in add_buffer()
590 free_buffer(uint64_t seqnum)  in free_buffer()  argument
600 		if (node->seqnum == seqnum) {  in free_buffer()
601 			dprintf("Free buffer %lld\n", seqnum);  in free_buffer()