Searched refs:ext_ramdisk_image (Results 1 – 9 of 9) sorted by relevance
28 0C0/004 ALL ext_ramdisk_image ramdisk_image high 32bits
197 __u32 ext_ramdisk_image; /* 0x0c0 */ member
261 start = (unsigned long)boot_params.ext_ramdisk_image << 32; in find_microcode_in_initrd()
339 ((unsigned long)bp->ext_ramdisk_image << 32); in sme_encrypt_kernel()
61 params->ext_ramdisk_image = initrd_load_addr >> 32; in setup_initrd()
242 ramdisk_image |= (u64)boot_params.ext_ramdisk_image << 32; in get_ramdisk_image()
398 initrd_start = (u64)boot_params->ext_ramdisk_image << 32; in mem_avoid_init()
876 &boot_params->ext_ramdisk_image); in efi_main()
887 boot_params.ext_ramdisk_image = new_area >> 32; in xen_memory_setup()