Searched refs:kernel_high (Results 1 - 2 of 2) sorted by relevance

/external/qemu/hw/
H A Dandroid_mips.c78 uint64_t kernel_entry, kernel_low, kernel_high; local
88 (uint64_t *)&kernel_high) < 0) {
100 initrd_offset = (kernel_high + ~TARGET_PAGE_MASK) & TARGET_PAGE_MASK;
H A Dmips_r4k.c80 int64_t entry, kernel_low, kernel_high; local
93 (uint64_t *)&kernel_high, big_endian, ELF_MACHINE, 1);
109 initrd_offset = (kernel_high + ~TARGET_PAGE_MASK) & TARGET_PAGE_MASK;

Completed in 371 milliseconds