options_size      390 arch/x86/boot/compressed/eboot.c 	int options_size = 0;
options_size      442 arch/x86/boot/compressed/eboot.c 	cmdline_ptr = efi_convert_cmdline(sys_table, image, &options_size);
options_size      484 arch/x86/boot/compressed/eboot.c 	efi_free(sys_table, options_size, hdr->cmd_line_ptr);