The rmap locking inlines are causing some header file
dependency/ordering problems - move them out of page-flags.h and into
their own header file.