Searched refs:ext_ramdisk_image (Results 1 – 8 of 8) sorted by relevance
128 __u32 ext_ramdisk_image; /* 0x0c0 */ member
28 0C0/004 ALL ext_ramdisk_image ramdisk_image high 32bits
330 ((unsigned long)bp->ext_ramdisk_image << 32); in sme_encrypt_kernel()
209 start = (unsigned long)boot_params.ext_ramdisk_image << 32; in find_microcode_in_initrd()
63 params->ext_ramdisk_image = initrd_load_addr >> 32; in setup_initrd()
301 ramdisk_image |= (u64)boot_params.ext_ramdisk_image << 32; in get_ramdisk_image()
968 boot_params.ext_ramdisk_image = new_area >> 32; in xen_memory_setup()
894 &boot_params->ext_ramdisk_image); in efi_stub_entry()