static int write_u64(char *prefix,
		     u64 value,
		     char *suffix,
		     char **buf,
		     unsigned int *maxlen)
static int write_u64(char *prefix, u64 value, char *suffix, char **buf,
		     unsigned int *maxlen)