// System provided IOREQs
#define IOREQ_HALT 0x138
#define IOREQ_YIELD 0x139

#include "uvm32_common_custom.h"