Searched refs:MpiExtImageHeader_t (Results 1 – 2 of 2) sorted by relevance
1434 MpiExtImageHeader_t *exthdr = NULL; in mpt_downloadboot()1530 exthdr = (MpiExtImageHeader_t *) ptr; in mpt_downloadboot()
3588 MpiExtImageHeader_t, MPI_POINTER pMpiExtImageHeader_t; typedef