vm_read should return a normal out-of-line page there--it's just an RPC stub. So yes, there should be a mapping there. Unless there is a race with a deallocation in another thread or exec, or something, that seems like a potential microkernel bug (unless it's a mig stub bug or something).
Thanks, Roland
