kdb_jmpbuf
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
kdb_jmpbuf(prev_jb);
kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
(void)kdb_jmpbuf(prev_jb);
prev = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev);
prev = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev);
prev = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
prev_jb = kdb_jmpbuf(jb);
(void)kdb_jmpbuf(prev_jb);
void * kdb_jmpbuf(jmp_buf);