io_perm_bitmap_install 57 kernel/arch/amd64/src/ddi/ddi.c void io_perm_bitmap_install(void) io_perm_bitmap_install 57 kernel/arch/ia32/src/ddi/ddi.c void io_perm_bitmap_install(void)