/* * accept_memory() and process_unaccepted_memory() called from EFI stub which * runs before decompressor and its early_tdx_detect(). * * Enumerate TDX directly from the early users.
*/ staticbool early_is_tdx_guest(void)
{ staticbool once; staticbool is_tdx;
if (!IS_ENABLED(CONFIG_INTEL_TDX_GUEST)) returnfalse;
et = efi_get_type(boot_params_ptr); if (et == EFI_TYPE_NONE) returnfalse;
ret = efi_get_conf_table(boot_params_ptr, &cfg_table_pa, &cfg_table_len); if (ret) {
warn("EFI config table not found."); returnfalse;
}
table = (void *)efi_find_vendor_table(boot_params_ptr, cfg_table_pa,
cfg_table_len, guid); if (!table) returnfalse;
if (table->version != 1)
error("Unknown version of unaccepted memory table\n");
/* * In many cases unaccepted_table is already set by EFI stub, but it * has to be initialized again to cover cases when the table is not * allocated by EFI stub or EFI stub copied the kernel image with * efi_relocate_kernel() before the variable is set. * * It must be initialized before the first usage of accept_memory().
*/
unaccepted_table = table;
returntrue;
}
Messung V0.5
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.