IO memory page library for Mirage backends