#include <machine/machine_routines.h>
#include <machine/spl.h>
#include <kern/thread.h>
unsigned
sploff(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "sploff()");
return(0);
}
unsigned
splhigh(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splhigh()");
return(0);
}
unsigned
splsched(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splsched()");
return(0);
}
unsigned
splclock (
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splclock()");
return(0);
}
unsigned
splpower (
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splpower()");
return(0);
}
unsigned
splvm(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splvm()");
return(0);
}
unsigned
splbio (
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splbio()");
return(0);
}
unsigned
splimp(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splimp()");
return(0);
}
unsigned
spltty(void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "spltty()");
return(0);
}
unsigned
splnet(
void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splnet()");
return(0);
}
unsigned
splsoftclock(void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splsoftclock()");
return(0);
}
void
spllo(void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "spllo()");
return;
}
void
spl0(void)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "spl0()");
return;
}
void
spln(unsigned t)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "spln()");
return;
}
void
splx(unsigned l)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splx()");
return;
}
void
splon(unsigned l)
{
if(thread_funnel_get() == THR_FUNNEL_NULL)
panic("%s not under funnel", "splon()");
return;
}