Structsยง
- Ctx ๐
Constantsยง
- MAP_
ANON ๐ - MAP_
PRIVATE ๐ - MSG_
READY ๐ - MSG_
STAG ๐E1_ DONE - MSG_
STAG ๐E2_ DONE - MSG_
STAG ๐E2_ 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.