Searched refs:ext_ramdisk_image (Results 1 – 9 of 9) sorted by relevance
27 0C0/004 ALL ext_ramdisk_image ramdisk_image high 32bits
187 __u32 ext_ramdisk_image; /* 0x0c0 */ member
61 params->ext_ramdisk_image = initrd_load_addr >> 32; in setup_initrd()
239 ramdisk_image |= (u64)boot_params.ext_ramdisk_image << 32; in get_ramdisk_image()
337 ((unsigned long)bp->ext_ramdisk_image << 32); in sme_encrypt_kernel()
261 start = (unsigned long)boot_params.ext_ramdisk_image << 32; in find_microcode_in_initrd()
398 initrd_start = (u64)boot_params->ext_ramdisk_image << 32; in mem_avoid_init()
886 boot_params.ext_ramdisk_image = new_area >> 32; in xen_memory_setup()
776 &boot_params->ext_ramdisk_image); in efi_main()
Completed in 16 milliseconds