Searched refs:stk (Results 1 – 2 of 2) sorted by relevance
41 StackType_t *stk = NULL; in pxPortInitialiseStack() local43 stk = pxTopOfStack; in pxPortInitialiseStack()45 … *(--stk) = (uint32_t)pxCode; /* Entry Point */ in pxPortInitialiseStack()46 … *(--stk) = (uint32_t)0xE0000140L; /* PSR */ in pxPortInitialiseStack()47 … *(--stk) = (uint32_t)0xFFFFFFFEL; /* R15 (LR) (init value will cause fault if ever used) */ in pxPortInitialiseStack()48 … *(--stk) = (uint32_t)0x13131313L; /* R13 */ in pxPortInitialiseStack()49 … *(--stk) = (uint32_t)0x12121212L; /* R12 */ in pxPortInitialiseStack()50 … *(--stk) = (uint32_t)0x11111111L; /* R11 */ in pxPortInitialiseStack()51 … *(--stk) = (uint32_t)0x10101010L; /* R10 */ in pxPortInitialiseStack()52 … *(--stk) = (uint32_t)0x09090909L; /* R9 */ in pxPortInitialiseStack()[all …]
2068 stk
