1408 /** Unmap an object from an address space. This usually consists of * setting the valid PTE entries to a reserved scratch page. */