Type Definition libc_interface::fsfilcnt_t

type fsfilcnt_t = u64;