- Add a bitmask for the CPUs which need an isync before this pmap returns to userspace on that CPU. - Define PMAP_USERRET(), a utility macro for userret() to use to process the deferred isync, and call it as appropriate in userret().