prctl: PR_SET_MM -- introduce PR_SET_MM_MAP operation