Does anyone knows if there is any set_memory_ro()/set_memory_rw() (from x86) equivalent for ARM ? I just want to set pages to be read-only (even when in supervisor mode). Thanks !