Find sources of view3d.rotate operator

I am trying to find out why the view3d.rotate operator functions normally while the preferences window is open when other operators seem to get a framerate cap during this (applying for context.area.tag_redraw()), but I can’t seem to locate where it is implemented. Although "view3d.rotate" and 'view3d.rotate' are mentioned a couple times, there is no class or anything for it. The closest I can find is VIEW3D_OT_rotate_custom_pivot which also gets the framerate cap.

Can anyone point me in the right direction?

I dig some manual digging and found the sources in view3d_edit.c.

From there, I found my way to this comment in area.c, but I don’t yet know if it is related.