Searched refs:ASSERT (Results 1 – 25 of 27) sorted by relevance
12
136 ASSERT(pageInfoXMem != NULL); in PAlloc_AddRegion()195 ASSERT(pg != NULL); in PAlloc_AllocPage()198 ASSERT(pg->magic == FREEPAGE_MAGIC_FREE); in PAlloc_AllocPage()201 ASSERT(info != NULL); in PAlloc_AllocPage()202 ASSERT(info->refCount == 0); in PAlloc_AllocPage()225 ASSERT(((uintptr_t)region % PGSIZE) == 0); in PAllocFreePage()232 ASSERT(pg->magic != FREEPAGE_MAGIC_FREE); in PAllocFreePage()235 ASSERT(info->refCount == 0); in PAllocFreePage()253 ASSERT(info->refCount != 0); in PAlloc_Retain()270 ASSERT(info->refCount != 0); in PAlloc_Release()
18 ASSERT(handle->type == HANDLE_TYPE_FILE); in VFSUIO_Read()28 ASSERT(handle->type == HANDLE_TYPE_FILE); in VFSUIO_Write()38 ASSERT(handle->type == HANDLE_TYPE_FILE); in VFSUIO_Flush()47 ASSERT(handle->type == HANDLE_TYPE_FILE); in VFSUIO_Close()
108 ASSERT(thr->schedState == SCHED_STATE_RUNNING); in Sched_SetWaiting()133 ASSERT(Critical_Level() == 0); in Sched_SetZombie()137 ASSERT(proc->parent != NULL); in Sched_SetZombie()206 ASSERT(curProc[CPU()]->schedState == SCHED_STATE_RUNNING); in Sched_Scheduler()210 ASSERT(next->schedState == SCHED_STATE_RUNNABLE); in Sched_Scheduler()
173 ASSERT(proc->refCount != 0); in Process_Retain()187 ASSERT(proc->refCount != 0); in Process_Release()220 ASSERT(pid != 0); in Process_Wait()233 ASSERT(thr->proc->pid != 1); in Process_Wait()
105 ASSERT(proc != NULL); in Thread_Create()200 ASSERT(proc->pid != 1); in Thread_Destroy()255 ASSERT(thr->refCount != 0); in Thread_Retain()267 ASSERT(thr->refCount != 0); in Thread_Release()284 ASSERT(thr->proc != NULL); in Thread_Wait()
63 ASSERT(evt->refCount != 0); in KTimer_Retain()70 ASSERT(evt->refCount != 0); in KTimer_Release()
33 ASSERT(objsz >= sizeof(SlabElement)); in Slab_Init()44 ASSERT(slab->xmem != NULL); in Slab_Init()
49 ASSERT(Critical_Level() == 0); in CV_Wait()
58 ASSERT(Critical_Level() == 0); in Mutex_Lock()
20 ASSERT(sga->len < SGARRAY_MAX_ENTRIES) in SGArray_Append()
149 ASSERT(phdr[i].p_type != PT_DYNAMIC); in Loader_Load()163 ASSERT(false); in Loader_Load()
42 ASSERT(TAILQ_EMPTY(&wchan->chanQueue)); in WaitChannel_Destroy()
111 ASSERT(lock->cpu == CPU()); in Spinlock_Unlock()
135 ASSERT(p != 0); in kvprintf()
260 ASSERT(sizeof(DebugCommand) == 128); in Debug_Prompt()
16 ASSERT(bus < 256 && slot < 64 && func < 8 && reg < 256); in PCIGetAddr()36 ASSERT((reg & 0x1) == 0); in PCICfgRead16()48 ASSERT((reg & 0x3) == 0); in PCICfgRead32()
35 ASSERT(reg <= 0xFF); in IOAPIC_Read()47 ASSERT(reg <= 0xFF); in IOAPIC_Write()
132 ASSERT((pte3 & PTE_PS) == 0); // XXX: Large pages not supported in PMap_DestroyAS()234 ASSERT(pte); in PMap_Translate()242 ASSERT(pte); in PMap_Translate()254 ASSERT(pte); in PMap_Translate()335 ASSERT(size == PGSIZE); in PMapLookupEntry()429 ASSERT((virt & PGMASK) == 0); in PMap_AllocMap()
37 ASSERT(irq < T_IRQ_LEN); in IRQ_Register()
129 ASSERT(state > 0 && state <= CPUSTATE_MAX); in MP_SetState()
88 ASSERT(sizeof(ATAIdentifyDevice) == 512); in IDE_Init()112 ASSERT(Spinlock_IsHeld(&ide->lock)); in IDEWaitForBusy()164 ASSERT(len % 2 == 0); in IDE_SwapAndTruncateString()188 ASSERT(drive == 0 || drive == 1); in IDE_Identify()349 ASSERT(drive->drive == 0 || drive->drive == 1); in IDE_ReadOne()356 ASSERT(len < 0x10000); in IDE_ReadOne()423 ASSERT(drive->drive == 0 || drive->drive == 1); in IDE_WriteOne()430 ASSERT(len < 0x10000); in IDE_WriteOne()
204 ASSERT(sizeof(AHCI) <= PGSIZE); in AHCI_Init()205 ASSERT(sizeof(AHCICommandList) <= PGSIZE); in AHCI_Init()206 ASSERT(sizeof(AHCIRecvFIS) <= PGSIZE); in AHCI_Init()207 ASSERT(sizeof(ATAIdentifyDevice) == 512); in AHCI_Init()271 ASSERT(sga->entries[i].length % 2 == 0); in AHCI_IssueCommand()
443 ASSERT((void *)ethDev == (void *)ðDev->nic); in E1000_Configure()
8 #define ASSERT(_x) \ macro
49 ASSERT(sizeof(BDirEntry) == 512); in O2FS_Mount()76 ASSERT(i < 16); in O2FS_Mount()190 ASSERT(bentry != NULL); in O2FSBFree()