> Can't the first XIP device to attach simply allocate it? It's getpages()'s iteration loop which redirects unallocated pages to zero-pages. If we allocate zero-page in device drivers, we have to have an interface which can be retrieved from vnode or mount. Having a well-known global name is simple, but I'm fine with both. Masao