Searched defs:kernel_low (Results 1 – 4 of 4) sorted by relevance
196 uint64_t *kernel_low, in load_loongarch_linux_image()240 uint64_t kernel_entry, kernel_low, kernel_high; in load_kernel_info() local
63 uint64_t kernel_entry, kernel_low; in clipper_init() local
355 uint64_t kernel_entry, kernel_low, kernel_high, initrd_size; in load_kernel() local
356 uint64_t kernel_entry = 0, kernel_low, kernel_high; in machine_HP_common_init_tail() local