Raphael Neider wrote:
Why do you use an alignment restriction ? I didn't see it in the Intel
documentation.
Looking at the definition of X86_X32_IOPERMBITMAP_ALIGNMENT in lines 36--42
I conclude that the alignment has to do with I/O flexpages. Possibly
our implementation of mapping I/O permissions simply require(d|s) that the
bitmap is page aligned. I did not check this, though ...
I believe you'll find an explanation for the alignment restriction in
the following report (see the top of Page 16):
http://i30www.ira.uka.de/teaching/thesisdocuments/l4ka/2002/stoess_st_io-flexpages.pdf
Hope that helps!
All the best,
Mark
