Type Definition uefi_ffi::PXE_DB_GET_INIT_INFO

type PXE_DB_GET_INIT_INFO = s_pxe_db_get_init_info;