Skip to main content

Crate test_mem_region

Crate test_mem_region 

Source

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.