/* * Virtual memory related constants, all in bytes */