Searched defs:kernel_low (Results 1 – 4 of 4) sorted by relevance
63 uint64_t kernel_entry, kernel_low; in clipper_init() local
333 uint64_t kernel_entry, kernel_low, kernel_high, initrd_size; in load_kernel() local
342 uint64_t kernel_entry = 0, kernel_low, kernel_high; in machine_HP_common_init_tail() local
386 uint64_t kernel_entry, kernel_low, kernel_high; in load_kernel_info() local