Searched refs:irqStackLo (Results 1 – 1 of 1) sorted by relevance
435 u32 irqStackLo; in OS_GetInitArenaHi() local438 irqStackLo = (u32)HW_DTCM_IRQ_STACK_END - OSi_IRQ_STACKSIZE; in OS_GetInitArenaHi()454 sysStackLo = irqStackLo - OSi_SYS_STACKSIZE; in OS_GetInitArenaHi()456 SDK_ASSERT((u32)OSi_DTCM_ARENA_LO_DEFAULT <= sysStackLo && sysStackLo < irqStackLo); in OS_GetInitArenaHi()480 u32 irqStackLo; in OS_GetInitArenaHi()485 irqStackLo = (u32)HW_PRV_WRAM_IRQ_STACK_END - OSi_IRQ_STACKSIZE; in OS_GetInitArenaHi()504 sysStackLo = irqStackLo - OSi_SYS_STACKSIZE; in OS_GetInitArenaHi()506 SDK_ASSERT((u32)HW_PRV_WRAM <= sysStackLo && sysStackLo < irqStackLo); in OS_GetInitArenaHi()