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