That's a good question. Offhand, I don't know the answer to exactly how we manage that. If they are still reservists, they would be considered on duty for that time, and they would be getting class A reserve pay for that time.
If they're now out of the military, they would be falling under the responsibility of Veterans Affairs.