RE: Wrong definition for the "x86_x32_tss_t" class ?
Jan Stoess <[email protected]> Mon, 20 Oct 2008 15:51:32 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
> 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 ... The reason is that we transparently switch I/O bitmaps on address space switches; that requires the two bitmap pages to be aligned on a 4K boundary. -Jan -- Jan Stoess System Architecture Group University of Karlsruhe Phone: +49 (721) 608-4056 Fax: +49 (721) 608-7664 eMail: [email protected]