Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 17 additions & 17 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# program to be executed, so we store that into procedure local memory, and then dyncall it
@locals(4)
proc invoke_user_script
loc_storew_be.0
loc_storew_le.0
locaddr.0
dyncall
end
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# program to be executed, so we store that into procedure local memory, and then dyncall it
@locals(4)
proc invoke_user_script
loc_storew_be.0
loc_storew_le.0
locaddr.0
dyncall
end
Expand Down
4 changes: 2 additions & 2 deletions crates/assembly/tests/fixtures/protocol/kernel/kernel/io.masm
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
const PRINTLN = 0
const PRINTLN = event("sys.println")

#! Prints the given null-terminated byte string to stdout, if debug tracing is enabled
pub proc println(message: ptr<u8, addrspace(byte)>)
trace.PRINTLN
emit.PRINTLN
drop
end
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ const PRINTLN_ADDR = SYSCALL_TABLE_ADDR + 2
#! Initializes the kernel environment
pub proc init
procref.is_valid_syscall
mem_storew_be.SYSCALL_TABLE_ADDR
mem_storew_le.SYSCALL_TABLE_ADDR
procref.$kernel::sys::panic
mem_storew_be.PANIC_ADDR
mem_storew_le.PANIC_ADDR
procref.$kernel::io::println
mem_storew_be.PRINTLN_ADDR
mem_storew_le.PRINTLN_ADDR
end

#! Execute one of this kernel's syscalls
Expand All @@ -24,7 +24,7 @@ pub proc system_call
# validate syscall id
dup.0 mem_load.SYSCALL_TABLE_ADDR dynexec
# invoke the syscall
add.SYSCALL_TABLE_ADDR mem_loadw_be dynexec
add.SYSCALL_TABLE_ADDR mem_loadw_le dynexec
end

proc is_valid_syscall
Expand Down
3 changes: 0 additions & 3 deletions deny.toml
Original file line number Diff line number Diff line change
Expand Up @@ -49,9 +49,6 @@ deny = [
#{ name = "ansi_term", version = "=0.11.0" },
]
skip = [
# Allow duplicate anstream/anstyle-parse versions - clap uses 1.0.0, env_logger uses 0.6.*
{ name = "anstream" },
{ name = "anstyle-parse" },
# Allow duplicate spin versions - transitively pulled by p3-dft and flume
{ name = "spin" },
# Allow duplicate rand versions - miden-field uses 0.10, miden-vm uses 0.9
Expand Down
Loading