I'm looking to interface directly with GPIO-pins on a raspberry pi I just ran into something fishy in pike.

It seems that our System.Memory.mmap() method tries to do a ton of checks before it actually calls mmap(). This is all good, until you try to map a device like /dev/gpiomem which is 0 bytes.

Should we not attempt the system call and handle the error afterwards instead of trying to emulate safety checks beforehand?

Or should we have a new mmap() method that works without the checks?