20 #include "AsidManager.h" 21 #include "pedigree/kernel/Log.h" 22 #include "pedigree/kernel/panic.h" 47 for (
int i = 0; i < 10; i++)
49 for (
int j = 0; j < NUM_ASID; j++)
72 panic(
"Too many processes running, not enough ASIDs!");
81 ERROR(
"returnAsid called on an ASID that hasn't been allocated!");
bool acquire(size_t n=1, size_t timeoutSecs=0, size_t timeoutUsecs=0)
static AsidManager m_Instance
static AsidManager & instance()
void returnAsid(Asid asid)
uint32_t m_Asids[NUM_ASID]
void EXPORTED_PUBLIC panic(const char *msg) NORETURN