Structsยง
- Ctx ๐
Constantsยง
- MAP_
ANON ๐ - MAP_
PRIVATE ๐ - PAGE_
SIZE ๐ - PROT_
READ ๐ - PROT_
WRITE ๐ - REGION_
LEN ๐ - REGION_
PAGES ๐
Functionsยง
- _start
- Userspace entry point.
- check_
expect_ ๐err - Check that a syscall fails with a specific error.
- check_
ok ๐ - Check a syscall result and keep the successful value.
- dump_
memory_ ๐registers - Print a short memory snapshot for one mapped view.
- fail ๐
- Record a failed check.
- log ๐
- Write to stdout.
- log_err ๐
- Write to stderr.
- log_
handle_ ๐info - Print the metadata returned by handle_info.
- log_
hex_ ๐u64 - Write an unsigned integer in hexadecimal.
- log_
region_ ๐info - Print the metadata returned by mem_region_info.
- log_u64 ๐
- Write an unsigned integer in decimal.
- map_
source_ ๐region - Create the anonymous source mapping used for export tests.
- ok ๐
- Record a successful check.
- panic ๐
- Abort the process on panic.
- run_
suite ๐ - Run the full MemoryRegion coverage suite.
- section ๐
- Print a section banner.
- seed_
region ๐ - Fill the source region with a deterministic pattern.
- test_
export_ ๐and_ metadata - Export the region and validate the returned metadata.
- test_
handle_ ๐lifecycle - Exercise duplicate and grant lifecycles.
- test_
invalid_ ๐inputs - Exercise invalid argument paths that should stay deterministic.
- test_
mapping_ ๐alias - Map one handle and verify alias coherence.
- verify_
same_ ๐bytes - Verify that two mappings expose identical bytes.
- verify_
write_ ๐propagation - Verify that a write through one alias is visible through another one.
- write_
fd ๐ - Write a message to a file descriptor.