Searched refs:ext_ramdisk_image (Results 1 – 8 of 8) sorted by relevance
38 memset(&boot_params->ext_ramdisk_image, 0, in sanitize_boot_params()40 (char *)&boot_params->ext_ramdisk_image); in sanitize_boot_params()
125 __u32 ext_ramdisk_image; /* 0x0c0 */ member
23 0C0/004 ALL ext_ramdisk_image ramdisk_image high 32bits
155 initrd_start = (u64)real_mode->ext_ramdisk_image << 32; in mem_avoid_init()
1161 boot_params->ext_ramdisk_image = (u64)ramdisk_addr >> 32; in make_boot_params()
63 params->ext_ramdisk_image = initrd_load_addr >> 32; in setup_initrd()
308 ramdisk_image |= (u64)boot_params.ext_ramdisk_image << 32; in get_ramdisk_image()
903 boot_params.ext_ramdisk_image = new_area >> 32; in xen_memory_setup()