Performance of l4_task_unmap call