Lines Matching defs:then
97 * never break, 0 means poll once and then reboot, > 0 means wait for
368 * one DEVICE_PATH, then there's nothing specific and we should
372 * passed, match up with the loader we are and then return the
410 * If there's only one item in the list, then nothing was
442 * component of the path. If it's a file, then we set the default kernel
481 * Look at the passed-in boot_info, if any. If we find it then we need
486 * the list, then we fallback to looking for the first available /
670 time_t now, then, last;
673 now = then = getsecs();
682 fail_timeout - (int)(now - then));
690 } while (now - then < fail_timeout);
843 * See if we can find a SPCR ACPI table in the static tables. If so, then it
893 * UartClkFreq is 3 and newer. We always use it then (it's only valid if
1030 * found, then use that. Otherwise, use the first one we found.
1097 * We malloced 1 more than len above, then redid the call.
1208 * done. So, we set it to the efi console, then call console init. This
1235 * Scan the BLOCK IO MEDIA handles then
1419 * fired by then. We don't care if this fails. It does not prevent