Searched refs:firmware_low (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()441 if (firmware_low < translate(NULL, FIRMWARE_START) || in machine_HP_common_init_tail()