This have to do with implementation, not interface.  Removing these
unmasks the sharing on tlbflush_req, which is something we expected.
Luckily, it doesn't expose any other sharing.