Module syscall

Low-level system call interfaces.

Functions

• channel_call
  Sends a message and then receives a reply. Blocking.
• channel_create
  Creates a channel pair.
• channel_recv
  Receives a message from a channel. Blocking.
• channel_send
  Sends a message to a channel.
• channel_try_recv
  Tries to receive a message from a channel. Non-blocking.
• console_write
  Prints a string to the debug console.
• folio_create
  Creates a folio at an arbitrary physical address.
• folio_create_fixed
  Creates a folio at a fixed physical address.
• folio_paddr
  Returns the physical address of a folio.
• handle_close
  Closes a handle.
• interrupt_ack
  Acknowledges an interrupt.
• interrupt_create
  Creates a interrupt object.
• poll_add
  Adds a target handle to a poll object.
• poll_create
  Creates a poll object.
• poll_remove
  Removes a target handle from a poll object.
• poll_wait
  Waits for an event on a poll object. Blocking.
• process_exit
  Exits the current process.
• signal_clear
  Reads and clears a signal’s value atomically. Non-blocking.
• signal_create
  Creates a signal object.
• signal_update
  Updates a signal’s value.
• syscall
• syscall0
  Invokes a system call with no arguments.
• syscall1
  Invokes a system call with 1 argument.
• syscall2
  Invokes a system call with 2 arguments.
• syscall3
  Invokes a system call with 3 arguments.
• syscall4
  Invokes a system call with 4 arguments.
• syscall5
  Invokes a system call with 5 arguments.
• vmspace_map
  Maps a folio into a virtual address space.