memory management patch - mapping and write-only

- support memory mapping in explicit mode
- support Write annotation to designate write-only kernel parameters