__noprofile
int __noprofile splhigh_noprof(void);
void __noprofile splx_noprof(int);
#define __stub __section(".stub") __noprofile
#define __stub __section(".stub") __noprofile
#define __stub __section(".stub") __noprofile
void *intr_establish(int, int, int, int (*)(void *), void *) __noprofile;