options_bytes     817 drivers/firmware/efi/libstub/efi-stub-helper.c 	int options_bytes = 0;  /* UTF-8 bytes */
options_bytes     826 drivers/firmware/efi/libstub/efi-stub-helper.c 			options_bytes += efi_utf8_bytes(*s2++);
options_bytes     836 drivers/firmware/efi/libstub/efi-stub-helper.c 	options_bytes++;	/* NUL termination */
options_bytes     838 drivers/firmware/efi/libstub/efi-stub-helper.c 	status = efi_high_alloc(sys_table_arg, options_bytes, 0,
options_bytes     849 drivers/firmware/efi/libstub/efi-stub-helper.c 	*cmd_line_len = options_bytes;