Skip to main content

Crate test_mem_region_proc

Crate test_mem_region_proc 

Source

Structsยง

Ctx ๐Ÿ”’

Constantsยง

MAP_ANON ๐Ÿ”’
MAP_PRIVATE ๐Ÿ”’
MSG_READY ๐Ÿ”’
MSG_STAGE1_DONE ๐Ÿ”’
MSG_STAGE2_DONE ๐Ÿ”’
MSG_STAGE2_GO ๐Ÿ”’
OFF_CHILD_A ๐Ÿ”’
OFF_CHILD_B ๐Ÿ”’
OFF_CHILD_POST_REVOKE ๐Ÿ”’
OFF_PARENT_A ๐Ÿ”’
OFF_PARENT_B ๐Ÿ”’
PAGE_SIZE ๐Ÿ”’
PROT_READ ๐Ÿ”’
PROT_WRITE ๐Ÿ”’
REGION_LEN ๐Ÿ”’
REGION_PAGES ๐Ÿ”’
VAL_CHILD_A ๐Ÿ”’
VAL_CHILD_B ๐Ÿ”’
VAL_CHILD_POST_REVOKE ๐Ÿ”’
VAL_PARENT_A ๐Ÿ”’
VAL_PARENT_B ๐Ÿ”’

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.
child_abort ๐Ÿ”’
Exit the child process after logging a failure.
child_main ๐Ÿ”’
Run the child-side logic of the multi-process test.
close_quiet ๐Ÿ”’
Close a file descriptor and ignore errors.
expected_seed ๐Ÿ”’
Return the deterministic seeded byte for one offset.
fail ๐Ÿ”’
Record a failed check.
log ๐Ÿ”’
Write to stdout.
log_err ๐Ÿ”’
Write to stderr.
log_handle_info ๐Ÿ”’
Log handle metadata.
log_hex_u64 ๐Ÿ”’
Write an unsigned integer in hexadecimal.
log_region_info ๐Ÿ”’
Log region metadata.
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.
read_exact ๐Ÿ”’
Read the full buffer from a file descriptor.
recv_u8 ๐Ÿ”’
Receive a single control byte from a pipe.
recv_u64 ๐Ÿ”’
Receive a native-endian 64-bit value from a pipe.
run_suite ๐Ÿ”’
Run the full multi-process MemoryRegion suite.
section ๐Ÿ”’
Print a section banner.
seed_region ๐Ÿ”’
Fill the region with a deterministic seed.
send_u8 ๐Ÿ”’
Send a single control byte through a pipe.
send_u64 ๐Ÿ”’
Send a native-endian 64-bit value through a pipe.
verify_byte ๐Ÿ”’
Check one byte in the source region.
wait_exit_code ๐Ÿ”’
Decode a wait status and return the process exit code when it exited normally.
write_all ๐Ÿ”’
Write the full buffer to a file descriptor.
write_fd ๐Ÿ”’
Write a message to a file descriptor.