[ros-diffs] [tkreuzer] 44155: Pass pointers to MiAddressToPte instead of integer