timer_xsb.c File Reference

#include "xsb_debug.h"
#include "xsb_config.h"
#include <sys/types.h>
#include <stdlib.h>
#include <signal.h>
#include <unistd.h>
#include <errno.h>
#include <stdio.h>
#include "xsb_time.h"
#include "cell_xsb.h"
#include "error_xsb.h"
#include "setjmp_xsb.h"
#include "timer_xsb.h"
#include "basicdefs.h"
#include "thread_xsb.h"

Functions
void	xsb_timer_handler (int signo)
int	make_timed_call (CTXTdeclc xsbTimeout *pptr, void(*fptr)(xsbTimeout *))
Variables
sigjmp_buf	xsb_timer_env

---

Function Documentation

int make_timed_call (  CTXTdeclc xsbTimeout *  pptr, void(*)(xsbTimeout *)  fptr )

void xsb_timer_handler (  int  signo  )

---

Variable Documentation

sigjmp_buf xsb_timer_env

---