RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

x86: Align IO page tables to the range of an IO PT

Browse Source 
Previously it was aligned to a page size, but this makes no sense
as it should actually be aligned to the virtual size of a PT
This commit is contained in:
Adrian Danis
2016-12-09 11:44:15 +11:00
parent 2fe3871b57
commit 6cf6d4909a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/arch/x86/object/iospace.c
View File

@@ -212,7 +212,7 @@ decodeX86IOPTInvocation(
}
io_space = excaps.excaprefs[0]->cap;
io_address = getSyscallArg(0, buffer) & ~MASK(PAGE_BITS);
io_address = getSyscallArg(0, buffer) & ~MASK(VTD_PT_INDEX_BITS + seL4_PageBits);
if (cap_io_page_table_cap_get_capIOPTIsMapped(cap)) {
userError("X86IOPageTableMap: IO page table is already mapped.");