devicemgr: implement pointer_warp