Lines Matching defs:kernel_size
605 int kernel_size;
621 kernel_size = load_elf(kernel_filename, read_pvh_start_addr,
626 if (kernel_size < 0) {
651 int setup_size, kernel_size, cmdline_size;
677 kernel_size = get_file_size(f);
678 if (!kernel_size ||
679 fread(header, 1, MIN(ARRAY_SIZE(header), kernel_size), f) !=
680 MIN(ARRAY_SIZE(header), kernel_size)) {
701 kernel_cmdline, kernel_size, header)) {
710 load_elfboot(kernel_filename, kernel_size,
912 if (setup_size > kernel_size) {
918 kernel = g_malloc(kernel_size);
925 if (fread(kernel, 1, kernel_size, f) != kernel_size) {
945 setup_data_offset = QEMU_ALIGN_UP(kernel_size, 16);
946 kernel_size = setup_data_offset + sizeof(struct setup_data) + dtb_size;
947 kernel = g_realloc(kernel, kernel_size);
971 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_SIZE, kernel_size - setup_size);
973 kernel + setup_size, kernel_size - setup_size);
975 sev_load_ctx.kernel_size = kernel_size - setup_size;
984 fw_cfg_add_file(fw_cfg, "etc/boot/kernel", kernel, kernel_size);