| Description | Free space within a Flash partition.
Note that the actual size of a file in Flash includes
a small overhead that represents the file system's
file header.
Certain file systems may also have a partition or
device header overhead to be considered when
computing the free space.
Free space will be computed as total partition size
less size of all existing files (valid/invalid/deleted
files and including file header of each file),
less size of any partition header, less size of
header of next file to be copied in. In short, this
object will give the size of the largest file that
can be copied in. The management entity will not be
expected to know or use any overheads such as file
and partition header lengths, since such overheads
may vary from file system to file system.
Deleted files in Flash do not free up space.
A partition may have to be erased in order to reclaim
the space occupied by files.
If the free space within a flash partition is greater than
the maximum value reportable by this object then this object
should report its maximum value(4,294,967,295) and
ciscoFlashPartitionFreeSpaceExtended
must be used to report the flash partition's free space. |