/*! Initializes the file system module.
If FORMAT is true, reformats the file system. */
void filesys_init(bool format) {
fs_device = block_get_role(BLOCK_FILESYS);
if (fs_device == NULL)
PANIC("No file system device found, can't initialize file system.");
inode_init();
free_map_init();
if (format)
do_format();
free_map_open();
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
filesys_disk = disk_get (0, 1);
if (filesys_disk == NULL)
PANIC ("hd0:1 (hdb) not present, file system initialization failed");
inode_init ();
free_map_init ();
if (format)
do_format ();
free_map_open ();
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
fs_device = block_get_role (BLOCK_FILESYS);
if (fs_device == NULL)
PANIC ("No file system device found, can't initialize file system.");
inode_init ();
// XXX Lock Initialize
lock = (struct lock *)malloc(sizeof(struct lock));
lock_init(lock);
// XXX
free_map_init ();
if (format)
do_format ();
free_map_open ();
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
fs_device = block_get_role (BLOCK_FILESYS);
if (fs_device == NULL)
PANIC ("No file system device found, can't initialize file system.");
lock_init(&globalCacheLock);
cache_init((struct cache_elem **) &cache);
clock_hand = CACHE_SIZE - 1;
inode_init ();
free_map_init ();
if (format)
do_format ();
free_map_open ();
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
fs_device = block_get_role (BLOCK_FILESYS);
if (fs_device == NULL)
PANIC ("No file system device found, can't initialize file system.");
inode_init ();
free_map_init ();
cache_init ();
if (format)
do_format ();
free_map_open ();
/* Couldn't add to thread_init because we need inode_init completed
before we can get access to root directory */
thread_current ()->cwd_sector = ROOT_DIR_SECTOR;
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
fs_device = block_get_role (BLOCK_FILESYS);
if (fs_device == NULL)
PANIC ("No file system device found, can't initialize file system.");
fs_cache = cache_create (fs_device, MAX_CACHE_SIZE);
if (fs_cache == NULL)
PANIC ("Cannot create cache for file system");
inode_init ();
free_map_init ();
if (format)
do_format ();
free_map_open ();
}
/* Initializes the file system module.
If FORMAT is true, reformats the file system. */
void
filesys_init (bool format)
{
fs_device = block_get_role (BLOCK_FILESYS);
if (fs_device == NULL)
PANIC ("No file system device found, can't initialize file system.");
filesys_lock_list = malloc(sizeof(filesys_lock_list) * block_size(fs_device));
int i;
for(i=0; i < block_size(fs_device); ++i) {
lock_init(filesys_lock_list + i);
}
inode_init();
free_map_init();
if (format)
do_format();
free_map_open ();
}
