unit
linux_fs_base


unit linux_fs_base = {
imports[
intr : OSEnvIntr_T
log : OSEnvLog_T
mem : OSEnvMem_T
panic : OSEnvPanic_T
sleep : OSEnvSleep_T
iids : { oskit_absio_iid
oskit_dir_iid
oskit_dirents_iid
oskit_file_iid
oskit_filesystem_iid
oskit_iunknown_iid
oskit_openfile_iid
oskit_posixio_iid
oskit_principal_iid
oskit_stream_iid }
misc : { base_cpuid
floppy_eject
gettimeofday
oskit_get_call_context
wait_for_keypress }
];
exports[
out : { FS_LINUX_ROOT_DEV
FS_LINUX___bforget
FS_LINUX___brelse
FS_LINUX___const_udelay
FS_LINUX___delay
FS_LINUX___fput
FS_LINUX___mark_inode_dirty
FS_LINUX___namei
FS_LINUX___udelay
FS_LINUX___wait_on_super
FS_LINUX_bad_inode_ops
FS_LINUX_bdevname
FS_LINUX_bdf_prm
FS_LINUX_bdflush_max
FS_LINUX_bdflush_min
FS_LINUX_blk_size
FS_LINUX_blkdev_inode_operations
FS_LINUX_blkdev_open
FS_LINUX_blksize_size
FS_LINUX_bmap
FS_LINUX_bread
FS_LINUX_breada
FS_LINUX_buffer_init
FS_LINUX_buffermem
FS_LINUX_charset2uni
FS_LINUX_chrdev_inode_operations
FS_LINUX_clean_inode
FS_LINUX_clear_inode
FS_LINUX_d_alloc
FS_LINUX_d_alloc_root
FS_LINUX_d_delete
FS_LINUX_d_instantiate
FS_LINUX_d_invalidate
FS_LINUX_d_lookup
FS_LINUX_d_move
FS_LINUX_d_path
FS_LINUX_d_rehash
FS_LINUX_d_umount
FS_LINUX_d_validate
FS_LINUX_dcache_init
FS_LINUX_dec_use_count
FS_LINUX_dentry_cache
FS_LINUX_dentry_stat
FS_LINUX_do_link
FS_LINUX_do_mkdir
FS_LINUX_do_mknod
FS_LINUX_do_rename
FS_LINUX_do_rmdir
FS_LINUX_do_symlink
FS_LINUX_do_truncate
FS_LINUX_do_unlink
FS_LINUX_dput
FS_LINUX_event
FS_LINUX_file_fsync
FS_LINUX_find_buffer
FS_LINUX_find_inode_number
FS_LINUX_find_nls
FS_LINUX_fput
FS_LINUX_free_inode_memory
FS_LINUX_fsync_dev
FS_LINUX_generic_file_read
FS_LINUX_generic_readpage
FS_LINUX_get_empty_inode
FS_LINUX_get_fs_type
FS_LINUX_get_hardblocksize
FS_LINUX_get_hash_table
FS_LINUX_get_super
FS_LINUX_get_write_access
FS_LINUX_getblk
FS_LINUX_getname
FS_LINUX_gfile_create
FS_LINUX_gopenfile_create
FS_LINUX_hardsect_size
FS_LINUX_iget
FS_LINUX_igrab
FS_LINUX_in_group_p
FS_LINUX_inc_use_count
FS_LINUX_init_buffer
FS_LINUX_init_nls
FS_LINUX_inode_change_ok
FS_LINUX_inode_in_use
FS_LINUX_inode_init
FS_LINUX_inode_lock
FS_LINUX_inode_setattr
FS_LINUX_inodes_stat
FS_LINUX_insert_inode_hash
FS_LINUX_invalidate_buffers
FS_LINUX_invalidate_inodes
FS_LINUX_iput
FS_LINUX_is_bad_inode
FS_LINUX_is_root_busy
FS_LINUX_is_subdir
FS_LINUX_iunique
FS_LINUX_linux_errno_to_oskit_error
FS_LINUX_linux_oskit_osenv_device
FS_LINUX_ll_rw_block
FS_LINUX_load_nls
FS_LINUX_load_nls_default
FS_LINUX_lookup_dentry
FS_LINUX_make_bad_inode
FS_LINUX_mark_buffer_uptodate
FS_LINUX_max_dquots
FS_LINUX_max_inodes
FS_LINUX_max_super_blocks
FS_LINUX_mem_map
FS_LINUX_min_free_pages
FS_LINUX_mount_root
FS_LINUX_notify_change
FS_LINUX_nr_dquots
FS_LINUX_nr_free_dquots
FS_LINUX_nr_free_pages
FS_LINUX_nr_super_blocks
FS_LINUX_open_namei
FS_LINUX_permission
FS_LINUX_prune_dcache
FS_LINUX_put_write_access
FS_LINUX_read_ahead
FS_LINUX_refile_buffer
FS_LINUX_register_filesystem
FS_LINUX_register_nls
FS_LINUX_remove_inode_hash
FS_LINUX_securelevel
FS_LINUX_select_dcache
FS_LINUX_send_sig
FS_LINUX_set_blocksize
FS_LINUX_set_writetime
FS_LINUX_show_buffers
FS_LINUX_shrink_dcache_memory
FS_LINUX_shrink_dcache_parent
FS_LINUX_shrink_dcache_sb
FS_LINUX_strnicmp
FS_LINUX_super_blocks
FS_LINUX_sync_dev
FS_LINUX_sync_inodes
FS_LINUX_sync_supers
FS_LINUX_sys_getcwd
FS_LINUX_sys_mkdir
FS_LINUX_sys_mknod
FS_LINUX_sys_quotactl
FS_LINUX_sys_rename
FS_LINUX_sys_rmdir
FS_LINUX_sys_symlink
FS_LINUX_sys_sync
FS_LINUX_sys_tz
FS_LINUX_sys_unlink
FS_LINUX_tq_disk
FS_LINUX_unload_nls
FS_LINUX_unregister_nls
FS_LINUX_update_atime
FS_LINUX_utf8_mbstowcs
FS_LINUX_utf8_mbtowc
FS_LINUX_utf8_wcstombs
FS_LINUX_utf8_wctomb
FS_LINUX_vfs_rename
FS_LINUX_vfs_rename_dir
FS_LINUX_vfs_rename_other
FS_LINUX_vfs_rmdir
FS_LINUX_vfs_unlink
FS_LINUX_wakeup_bdflush
FS_LINUX_write_inode_now
OSKIT_LINUX___down
OSKIT_LINUX___get_free_pages
OSKIT_LINUX___up
OSKIT_LINUX___wait_on_buffer
OSKIT_LINUX___wake_up
OSKIT_LINUX__ctype
OSKIT_LINUX_boot_cpu_data
OSKIT_LINUX_current
OSKIT_LINUX_free_pages
OSKIT_LINUX_high_memory
OSKIT_LINUX_interruptible_sleep_on
OSKIT_LINUX_jiffies
OSKIT_LINUX_kdevname
OSKIT_LINUX_kfree
OSKIT_LINUX_kfree_s
OSKIT_LINUX_kmalloc
OSKIT_LINUX_kmem_cache_alloc
OSKIT_LINUX_kmem_cache_create
OSKIT_LINUX_kmem_cache_free
OSKIT_LINUX_linux_cli
OSKIT_LINUX_linux_oskit_osenv_driver
OSKIT_LINUX_linux_oskit_osenv_intr
OSKIT_LINUX_linux_oskit_osenv_ioport
OSKIT_LINUX_linux_oskit_osenv_irq
OSKIT_LINUX_linux_oskit_osenv_isa
OSKIT_LINUX_linux_oskit_osenv_log
OSKIT_LINUX_linux_oskit_osenv_mem
OSKIT_LINUX_linux_oskit_osenv_pci_config
OSKIT_LINUX_linux_oskit_osenv_sleep
OSKIT_LINUX_linux_oskit_osenv_timer
OSKIT_LINUX_linux_restore_flags
OSKIT_LINUX_linux_save_flags
OSKIT_LINUX_linux_sti
OSKIT_LINUX_oskit_linux_init
OSKIT_LINUX_oskit_linux_mem_alloc
OSKIT_LINUX_oskit_linux_mem_free
OSKIT_LINUX_oskit_linux_osenv_init
OSKIT_LINUX_panic
OSKIT_LINUX_printk
OSKIT_LINUX_schedule
OSKIT_LINUX_semaphore_wake_lock
OSKIT_LINUX_simple_strtoul
OSKIT_LINUX_sleep_on
OSKIT_LINUX_sprintf
OSKIT_LINUX_unlock_buffer
OSKIT_LINUX_verify_area
OSKIT_LINUX_vfree
OSKIT_LINUX_vmalloc
OSKIT_LINUX_vsprintf
__down_failed
__get_user_1
__get_user_2
__get_user_4
__put_user_1
__put_user_2
__put_user_4
__up_wakeup
fs_linux_create_current
fs_linux_current_time
fs_linux_destroy_current
fs_linux_dev_init
fs_linux_devtab_delete
fs_linux_devtab_insert
fs_linux_init
fs_linux_mount }
];
...
}


Rendered using Haskell HTML Combinators