chiark / gitweb /
Fix ref to nonpagetype in check_nonpage