DigiGal, 10 mA would be great--that's the current that the DIN/IEC/ISO standard for phantom powering requires for a P48 input; in other words, if a microphone needs more current than that, it shouldn't call itself a 48-Volt phantom powered microphone, because inputs that are fully compliant with the standard won't necessarily power such a microphone.
But to have 10 mA per mike socket available is quite rare in portable equipment from the far East, because it's expensive to provide and normally, it isn't needed. Any mike that draws more than 7 mA (some Earthworks and CAD mikes) deserves side-eye in my opinion, because at that point more power is being dissipated in heating up the 6.8 kOhm phantom resistors than is actually available to the microphone; there's just no benefit to the circuit designer. Some older AKG mikes draw ~6 mA at 48 Volts; some Shure KSM-series mikes draw 5.5 mA apiece; Schoeps tops out below 5 mA, and Neumann, Sennheiser and DPA mikes rarely need as much as 4 mA but that depends on the model.
--best regards