xref: /barrelfish-2018-10-04/tools/usbboot/libc/raise.c

void raise(void)
{
}