format_array       62 arch/x86/xen/debugfs.c 	size_t len = format_array(NULL, 0, fmt, array, array_size);
format_array       69 arch/x86/xen/debugfs.c 	format_array(ret, len, fmt, array, array_size);