void simcall_run_kernel(std::function<void()> const& code)
{
- return simcall_BODY_run_kernel(&code);
+ simcall_BODY_run_kernel(&code);
}
void simcall_run_blocking(std::function<void()> const& code)
{
- return simcall_BODY_run_blocking(&code);
+ simcall_BODY_run_blocking(&code);
}
int simcall_mc_random(int min, int max) {