On Sun, Sep 27, 2020 at 11:21:58PM -0700, John Hubbard wrote:...
+echo "--------------------------------------------------------------"
+echo "running gup_test -ct -F 0x1 0 19 0x1000"
+echo " Dumps pages 0, 19, and 4096, using pin_user_pages (-F 0x1)"
+echo "--------------------------------------------------------------"
+./gup_test -ct -F 0x1 0 19 0x1000
Ah here it is... Maybe just remove that from the previous commit message.
Ira