exfat_dir_stack_t Struct Reference

Bounded worklist of exFAT directories still to walk (NASA P10 Rule 1). More...

Collaboration diagram for exfat_dir_stack_t:

Data Fields
exfat_dir_t *	items
	Caller-owned pending-directory array.
uint32_t	top
	Count of pending entries.
uint8_t	truncated
	1 once an overflow was dropped.

Detailed Description

Bounded worklist of exFAT directories still to walk (NASA P10 Rule 1).

Metadata for a caller-owned array of exfat_dir_t rather than recursion. Pushing past k_ra8_fs_check_max_dirs sets truncated – recorded once as k_ra8_fs_check_fault_scan_truncated – and drops the entry without accessing items.

Invariant

top <= k_ra8_fs_check_max_dirs.

items addresses k_ra8_fs_check_max_dirs entries whenever top < k_ra8_fs_check_max_dirs; a full overflow-only sentinel may leave it null because a push cannot access the array.

Since

0.1.0

Definition at line 84 of file ra8_fs_fat_exfat_check.c.

Field Documentation

items

exfat_dir_t* exfat_dir_stack_t::items

Caller-owned pending-directory array.

Definition at line 85 of file ra8_fs_fat_exfat_check.c.

Referenced by internal_exchk_push(), and internal_exchk_tree().

top

uint32_t exfat_dir_stack_t::top

Count of pending entries.

Definition at line 86 of file ra8_fs_fat_exfat_check.c.

Referenced by internal_exchk_push(), and internal_exchk_tree().

truncated

uint8_t exfat_dir_stack_t::truncated

1 once an overflow was dropped.

Definition at line 87 of file ra8_fs_fat_exfat_check.c.

Referenced by internal_exchk_push().

---

The documentation for this struct was generated from the following file:

• libs/ra8_fs/src/ra8_fs_fat_exfat_check.c