. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / syslib / sys_cprof.c
blob2930305164e2a4e00ab6303eec6a5bc13525d384
1 #include "syslib.h"
3 #if CPROFILE
5 /*===========================================================================*
6 * sys_cprof *
7 *===========================================================================*/
8 PUBLIC int sys_cprof(action, size, endpt, ctl_ptr, mem_ptr)
9 int action; /* get/reset profiling tables */
10 int size; /* size of allocated memory */
11 int endpt; /* caller endpoint */
12 void *ctl_ptr; /* location of info struct */
13 void *mem_ptr; /* location of allocated memory */
15 message m;
17 m.PROF_ACTION = action;
18 m.PROF_MEM_SIZE = size;
19 m.PROF_ENDPT = endpt;
20 m.PROF_CTL_PTR = ctl_ptr;
21 m.PROF_MEM_PTR = mem_ptr;
23 return(_taskcall(SYSTASK, SYS_CPROF, &m));
26 #endif