/*
* Copyright (C) 2000, 2001, 2002 Jeff Dike (jdike@karaya.com)
* Licensed under the GPL
*/
#include <setjmp.h>
#include <signal.h>
#include "kern_util.h"
#include "user_util.h"
#include "os.h"
void do_longjmp(void *b, int val)
{
sigjmp_buf *buf = b;
siglongjmp(*buf, val);
}