Re: Wrong definition for the "x86_x32_tss_t" class ?

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