// System provided UVM32_SYSCALLs, start at 0x10000000
#define UVM32_SYSCALL_HALT          0x1000000
#define UVM32_SYSCALL_YIELD         0x1000001
#define UVM32_SYSCALL_STACKPROTECT  0x1000002

#include "uvm32_common_custom.h"