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