splx
#define splx(s) spllower(s)
#define splx(s) _spl(s)
ENTRY(splx)
splx(int new)
splx(int new)
#define splx(newspl) footbridge_splx(newspl)
splx(int new)
splx(int new)
splx(int savedipl)
#undef splx
splx(int ipl)
#define splx(new) s3c2xx0_splx(new)
splx(int new)
#define splx(new) becc_splx(new)
splx(int new)
#define splx(new) i80321_splx(new)
splx(int new)
#define splx(new) ixp425_splx(new)
#undef splx
splx(int ipl)
#define splx(new) pxa2x0_splx(new)
#define splx(s) _splx(s)
#define splx(x) _cpu_intr_resume(x)
#define splx pic_splx
splx(int new)
#define splx(new) ifpga_splx(new)
splx(int new)
#define splx(spl) iq80310_splx(spl)
splx(int sr)
#define splx(x) _cpu_intr_resume(x)
#define splx(x) hd6446x_intr_resume(x)
#define splx(x) spllower(x)
#define splx(x) spllower(x)
#define splx(x) _cpu_intr_resume(x)
ENTRY(splx)
#define splx(s) _splx(s)
#define splx(s) _splx(s)
splx(int s)
#define splx(x) _cpu_intr_resume(x)
splx(int ncpl)
void splx(int) __stub;
splx(int newipl)
#define splx(x) splxX((x),__FILE__, __LINE__)
#define splx(x) spllower(x)
splx(ipl_t new_ipl)
splx(int sr)
splx(int sr)
#define splx(x) spllower(x)
#define splx(x) ((void)x)