List of all items

Structs

• memory::Region
• syscall::BigIntBlobHeader
• syscall::Return
• syscall::SyscallName

Macros

• declare_syscall

Functions

• align_up
• memory::is_guest_memory
• syscall::sys_alloc_aligned
• syscall::sys_alloc_words
• syscall::sys_argc
• syscall::sys_argv
• syscall::sys_bigint
• syscall::sys_bigint2_1
• syscall::sys_bigint2_2
• syscall::sys_bigint2_3
• syscall::sys_bigint2_4
• syscall::sys_bigint2_5
• syscall::sys_bigint2_6
• syscall::sys_bigint2_7
• syscall::sys_cycle_count
• syscall::sys_exit
• syscall::sys_fork
• syscall::sys_getenv
• syscall::sys_halt
• syscall::sys_input
• syscall::sys_keccak
• syscall::sys_log
• syscall::sys_panic
• syscall::sys_pause
• syscall::sys_pipe
• syscall::sys_prove_keccak
• syscall::sys_prove_zkr
• syscall::sys_rand
• syscall::sys_read
• syscall::sys_read_words
• syscall::sys_sha_buffer
• syscall::sys_sha_compress
• syscall::sys_verify_integrity
• syscall::sys_write
• syscall::syscall_0
• syscall::syscall_1
• syscall::syscall_2
• syscall::syscall_3
• syscall::syscall_4
• syscall::syscall_5

Constants

• PAGE_SIZE
• WORD_SIZE
• fileno::JOURNAL
• fileno::STDERR
• fileno::STDIN
• fileno::STDOUT
• memory::GUEST_MAX_MEM
• memory::GUEST_MIN_MEM
• memory::MEM_BITS
• memory::MEM_SIZE
• memory::PAGE_TABLE
• memory::PRE_LOAD
• memory::STACK_TOP
• memory::SYSTEM
• memory::TEXT_START
• syscall::DIGEST_BYTES
• syscall::DIGEST_WORDS
• syscall::IO_CHUNK_WORDS
• syscall::MAX_BUF_BYTES
• syscall::MAX_BUF_WORDS
• syscall::MAX_SHA_COMPRESS_BLOCKS
• syscall::bigint::OP_MULTIPLY
• syscall::bigint::WIDTH_BITS
• syscall::bigint::WIDTH_BYTES
• syscall::bigint::WIDTH_WORDS
• syscall::ecall::BIGINT
• syscall::ecall::BIGINT2
• syscall::ecall::HALT
• syscall::ecall::INPUT
• syscall::ecall::SHA
• syscall::ecall::SOFTWARE
• syscall::ecall::USER
• syscall::halt::PAUSE
• syscall::halt::SPLIT
• syscall::halt::TERMINATE
• syscall::nr::SYS_ARGC
• syscall::nr::SYS_ARGV
• syscall::nr::SYS_CYCLE_COUNT
• syscall::nr::SYS_EXECUTE_ZKR
• syscall::nr::SYS_EXIT
• syscall::nr::SYS_FORK
• syscall::nr::SYS_GETENV
• syscall::nr::SYS_KECCAK
• syscall::nr::SYS_LOG
• syscall::nr::SYS_PANIC
• syscall::nr::SYS_PIPE
• syscall::nr::SYS_PROVE_KECCAK
• syscall::nr::SYS_PROVE_ZKR
• syscall::nr::SYS_RANDOM
• syscall::nr::SYS_READ
• syscall::nr::SYS_VERIFY_INTEGRITY
• syscall::nr::SYS_WRITE
• syscall::reg_abi::REG_A0
• syscall::reg_abi::REG_A1
• syscall::reg_abi::REG_A2
• syscall::reg_abi::REG_A3
• syscall::reg_abi::REG_A4
• syscall::reg_abi::REG_A5
• syscall::reg_abi::REG_A6
• syscall::reg_abi::REG_A7
• syscall::reg_abi::REG_FP
• syscall::reg_abi::REG_GP
• syscall::reg_abi::REG_MAX
• syscall::reg_abi::REG_RA
• syscall::reg_abi::REG_S0
• syscall::reg_abi::REG_S1
• syscall::reg_abi::REG_S10
• syscall::reg_abi::REG_S11
• syscall::reg_abi::REG_S2
• syscall::reg_abi::REG_S3
• syscall::reg_abi::REG_S4
• syscall::reg_abi::REG_S5
• syscall::reg_abi::REG_S6
• syscall::reg_abi::REG_S7
• syscall::reg_abi::REG_S8
• syscall::reg_abi::REG_S9
• syscall::reg_abi::REG_SP
• syscall::reg_abi::REG_T0
• syscall::reg_abi::REG_T1
• syscall::reg_abi::REG_T2
• syscall::reg_abi::REG_T3
• syscall::reg_abi::REG_T4
• syscall::reg_abi::REG_T5
• syscall::reg_abi::REG_T6
• syscall::reg_abi::REG_TP
• syscall::reg_abi::REG_ZERO