6 #define APPEND_BUFFER_SAFE(str, end, v) \  argument
8 	GUEST_ASSERT(str < end);	\
43 static char *number(char *str, const char *end, long num, int base, int size,  in number()  argument
94 			APPEND_BUFFER_SAFE(str, end, ' ');  in number()
96 		APPEND_BUFFER_SAFE(str, end, sign);  in number()
99 			APPEND_BUFFER_SAFE(str, end, '0');  in number()
101 			APPEND_BUFFER_SAFE(str, end, '0');  in number()
102 			APPEND_BUFFER_SAFE(str, end, 'x');  in number()
107 			APPEND_BUFFER_SAFE(str, end, c);  in number()
109 		APPEND_BUFFER_SAFE(str, end, '0');  in number()
111 		APPEND_BUFFER_SAFE(str, end, tmp[i]);  in number()
113 		APPEND_BUFFER_SAFE(str, end, ' ');  in number()
120 	char *str, *end;  in guest_vsnprintf()  local
135 	end = buf + n;  in guest_vsnprintf()
136 	GUEST_ASSERT(buf < end);  in guest_vsnprintf()
141 			APPEND_BUFFER_SAFE(str, end, *fmt);  in guest_vsnprintf()
217 					APPEND_BUFFER_SAFE(str, end, ' ');  in guest_vsnprintf()
218 			APPEND_BUFFER_SAFE(str, end,  in guest_vsnprintf()
221 				APPEND_BUFFER_SAFE(str, end, ' ');  in guest_vsnprintf()
230 					APPEND_BUFFER_SAFE(str, end, ' ');  in guest_vsnprintf()
232 				APPEND_BUFFER_SAFE(str, end, *s++);  in guest_vsnprintf()
234 				APPEND_BUFFER_SAFE(str, end, ' ');  in guest_vsnprintf()
242 			str = number(str, end,  in guest_vsnprintf()
258 			APPEND_BUFFER_SAFE(str, end, '%');  in guest_vsnprintf()
279 			APPEND_BUFFER_SAFE(str, end, '%');  in guest_vsnprintf()
281 				APPEND_BUFFER_SAFE(str, end, *fmt);  in guest_vsnprintf()
296 		str = number(str, end, num, base, field_width, precision, flags);  in guest_vsnprintf()
299 	GUEST_ASSERT(str < end);  in guest_vsnprintf()