search for: 786675

Dear all, Firstly I apologise for what may be a fairly simple question, but after spending a few days on this I really need the help of an expert. I''m developing a stubdomain based on Mini-OS and I''m trying to convert the virtual address of a shared memory page to a machine frame number. I would have thought this requires an #include <xen/page.h> library, but it is not