xinu: Desktop/xinu_mips-1.0.2.tar/xinu_mips-1.0.2/system/getpid.c Source File

00001 
00007 /* Embedded XINU, Copyright (C) 2007.  All rights reserved. */
00008 
00009 #include <kernel.h>
00010 #include <proc.h>
00011 
00016 syscall getpid(void)
00017 {
00018         return(currpid);
00019 }