proc_yield() and change_to_vcore() use unmapping