[−][src]Type Definition uefi_ffi::PXE_DB_INITIALIZE

type PXE_DB_INITIALIZE = s_pxe_db_initialize;