Searched refs:firmware_high (Results 1 – 1 of 1) sorted by relevance
342 uint64_t firmware_low, firmware_high; in machine_HP_common_init_tail() local431 &firmware_entry, &firmware_low, &firmware_high, NULL, in machine_HP_common_init_tail()440 firmware_low, firmware_high, firmware_entry); in machine_HP_common_init_tail()442 firmware_high >= translate(NULL, FIRMWARE_END)) { in machine_HP_common_init_tail()