search for: 7d95d67

Displaying 2 results from an estimated 2 matches for "7d95d67".

Did you mean: 79dbd67
2013 Dec 26
0
[PATCH] core: Avoid initializing the cache more than once
....c +++ b/core/fs/cache.c @@ -55,6 +55,8 @@ void cache_init(struct device *dev, int block_size_shift) data += dev->cache_block_size; prev = cur++; } + + dev->cache_init = 1; /* Set cache as initialized */ } /* diff --git a/core/fs/diskio.c b/core/fs/diskio.c index 7d95d67..e9a4c1d 100644 --- a/core/fs/diskio.c +++ b/core/fs/diskio.c @@ -28,6 +28,7 @@ struct device * device_init(void *args) dev.disk = firmware->disk_init(args); dev.cache_size = 128*1024; dev.cache_data = malloc(dev.cache_size); + dev.cache_init = 0; /* Explicitly set cache as uni...
2013 Oct 18
1
[RFC/PATCH 2/3] core: MultiFS infrastructure added.
...k(cluster) size in FAT is a bit big. * */ -void cache_init(struct device *dev, int block_size_shift) +__export void cache_init(struct device *dev, int block_size_shift) { struct cache *prev, *cur; char *data = dev->cache_data; diff --git a/core/fs/diskio.c b/core/fs/diskio.c index 7d95d67..466b6a8 100644 --- a/core/fs/diskio.c +++ b/core/fs/diskio.c @@ -21,13 +21,27 @@ void getoneblk(struct disk *disk, char *buf, block_t block, int block_size) /* * Initialize the device structure. */ -struct device * device_init(void *args) +__export struct device *device_init(void *args) { -...