EFI_USEC_PER_SEC
status = efi_wait_for_key(10 * EFI_USEC_PER_SEC, &key);
efi_bs_call(stall, 10 * EFI_USEC_PER_SEC);