profil
int profil(char *, size_t, vm_offset_t, int);
profil((unsigned short *)(addr + hsize),
profil(0, 0, 0, 0);
extern void profil(unsigned short *, size_t, unsigned long, unsigned int);
profil(NULL, 0, 0, 0);
profil(buffer, bufsize, (ulong_t)lowpc, scale);
int profil(unsigned short *, size_t, ulong_t, uint_t);
/* 44 */ SYSENT_CI("prof", profil, 4),
/* 44 */ SYSENT_CI("prof", profil, 4),