ifnd TASKING_I
TASKING_I equ 1
; Initializes tasking, takes the kernel stack frame in a0
  xref tasking_init
; Creates a new process
; Pointer to address space in a0
; Start address in a1
  xref tasking_new_process
; Yields to the next process
  xref tasking_yield
; Exits the current process
  xref tasking_exit
; Gets the secondary address space of the current process in a0
  xref tasking_get_secondary_addr_space
  endif