profile_count((void *) ((unsigned long) GET_PC (scp) & 0x7fffffffUL));
profil_count((void *) ((unsigned long) GET_PC (scp) & 0x7fffffffUL));
profil_counter (int signo, SIGCONTEXT scp){  profile_count((void *) ((unsigned long) GET_PC (scp) & 0x7fffffffUL));}