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);