Symbol: Mpi2BiosPage4_t