diff options
Diffstat (limited to 'pfinet/linux/kernel.h')
-rw-r--r-- | pfinet/linux/kernel.h | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/pfinet/linux/kernel.h b/pfinet/linux/kernel.h deleted file mode 100644 index dcd5acf3..00000000 --- a/pfinet/linux/kernel.h +++ /dev/null @@ -1,44 +0,0 @@ -#ifndef _HACK_KERNEL_H -#define _HACK_KERNEL_H - -#include <stdio.h> -#include <linux/sched.h> -#include <stdlib.h> -#include <assert.h> - -#define printk printf - -extern inline int -getname (const char *name, char **newp) -{ - *newp = malloc (strlen (name) + 1); - strcpy (*newp, name); - return 0; -} - -extern inline void -putname (char *p) -{ - free (p); -} - -/* These two functions are used only to send SIGURG. But I can't - find any SIGIO code at all. So we'll just punt on that; clearly - Linux is missing the point. SIGURG should only be sent for - sockets that have explicitly requested it. */ -extern inline int -kill_proc (int pid, int signo, int priv) -{ - assert (signo == SIGURG); - return 0; -} - -extern inline int -kill_pg (int pgrp, int signo, int priv) -{ - assert (signo == SIGURG); - return 0; -} - - -#endif |