Lines Matching refs:stk
43 StackType_t * stk = NULL; in pxPortInitialiseStack() local
45 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()
55 … *( --stk ) = ( uint32_t ) 0x08080808L; /* R8 */ in pxPortInitialiseStack()
56 … *( --stk ) = ( uint32_t ) 0x07070707L; /* R7 */ in pxPortInitialiseStack()
57 … *( --stk ) = ( uint32_t ) 0x06060606L; /* R6 */ in pxPortInitialiseStack()
58 … *( --stk ) = ( uint32_t ) 0x05050505L; /* R5 */ in pxPortInitialiseStack()
59 … *( --stk ) = ( uint32_t ) 0x04040404L; /* R4 */ in pxPortInitialiseStack()
60 … *( --stk ) = ( uint32_t ) 0x03030303L; /* R3 */ in pxPortInitialiseStack()
61 … *( --stk ) = ( uint32_t ) 0x02020202L; /* R2 */ in pxPortInitialiseStack()
62 … *( --stk ) = ( uint32_t ) 0x01010101L; /* R1 */ in pxPortInitialiseStack()
63 … *( --stk ) = ( uint32_t ) pvParameters; /* R0 : argument */ in pxPortInitialiseStack()
65 return stk; in pxPortInitialiseStack()