#include <syscall.h>

#define __KERNEL__ 
#undef asmlinkage
#define asmlinkage
#include <sys/shm.h>

int
shmdt (char *shmaddr)
{
    return __ipc (SHMDT, 0, 0, 0, shmaddr);
}