Symbol: MPI2_DOORBELL_USED