/* Debugging helper. Pass in the string you want printed if your vcoreid is
* wrong, and pass in what vcoreid you think you are. Don't call from uthread
* context unless migrations are disabled. Will print some stuff and return
* FALSE if you were wrong. */
bool check_vcoreid(const char *str, uint32_t vcoreid)
{
uint32_t kvcoreid = get_vcoreid();
if (vcoreid != kvcoreid) {
ros_debug("%s: VC %d thought it was VC %d\n", str, kvcoreid, vcoreid);
return FALSE;
}
return TRUE;
}
void _assert_failed(const char *file, int line, const char *msg)
{
ros_debug("[user] %s:%d, vcore %d, Assertion failed: %s\n",
file, line, vcore_id(), msg);
abort();
}
