Circumvent the unmap and flushing tlb if it's already empty
Seems reasonable. Not quite sure