The function Generic_io_space<SPACE>::bitmap_pde_lookup() is unused. Additionally, it passes and Address value directly to mem_space()->dir()->walk() which expects a Page frame number and not an address. Remove it.
regards Christian
diff --git a/src/kernel/fiasco/src/kern/io_space.cpp b/src/kernel/fiasco/src/kern/io_space.cpp index 87690f9..ad6f468 100644 --- a/src/kernel/fiasco/src/kern/io_space.cpp +++ b/src/kernel/fiasco/src/kern/io_space.cpp @@ -459,14 +459,6 @@ Generic_io_space<SPACE>::get_port_bit(Address const port_number) const return 1 << (port_number & 7); }
- -PRIVATE template< typename SPACE > -inline -Pt_entry *Generic_io_space<SPACE>::bitmap_pde_lookup(Address v) -{ - return (Pt_entry*)(mem_space()->dir()->walk(v/*PTV >> 12*/, Pdir::Super_level).e); -} - PUBLIC template< typename SPACE > inline static Page_number