#include <sys/cdefs.h>
__FBSDID("$FreeBSD$");
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/shm.h>
#if __STDC__
int shmdt(void *shmaddr)
#else
int shmdt(shmaddr)
void *shmaddr;
#endif
{
return (shmsys(2, shmaddr));
}