> Shouldn't we nevertheless `vm_deallocate' the memory region?

Yes, thanks.


Reply via email to