482     void vSystemCallExit( uint32_t * pulSystemCallStack,
1168         uint32_t * pulSystemCallStack;  in vSystemCallEnter()  local
1202             pulSystemCallStack = pxMpuSettings->xSystemCallStackInfo.pulSystemCallStack;  in vSystemCallEnter()
1229             pulSystemCallStack = pulSystemCallStack - ulStackFrameSize;  in vSystemCallEnter()
1234                 pulSystemCallStack[ i ] = pulTaskStack[ i ];  in vSystemCallEnter()
1251             __asm volatile ( "msr psp, %0" : : "r" ( pulSystemCallStack ) );  in vSystemCallEnter()
1259 …        pulSystemCallStack[ portOFFSET_TO_PC ] = uxSystemCallImplementations[ ucSystemCallNumber ];  in vSystemCallEnter()
1262             pulSystemCallStack[ portOFFSET_TO_LR ] = ( uint32_t ) vRequestSystemCallExit;  in vSystemCallEnter()
1282             pulSystemCallStack[ portOFFSET_TO_PSR ] &= ( ~portPSR_STACK_PADDING_MASK );  in vSystemCallEnter()
1310     void vSystemCallExit( uint32_t * pulSystemCallStack,  in vSystemCallExit()  argument
1329         ulSystemCallLocation = pulSystemCallStack[ portOFFSET_TO_PC ];  in vSystemCallExit()
1377                 pulTaskStack[ i ] = pulSystemCallStack[ i ];  in vSystemCallExit()
1519 …xMPUSettings->xSystemCallStackInfo.pulSystemCallStack = &( xMPUSettings->xSystemCallStackInfo.ulSy…  in pxPortInitialiseStack()
1520 …->xSystemCallStackInfo.pulSystemCallStack = ( uint32_t * ) ( ( uint32_t ) ( xMPUSettings->xSystemC…  in pxPortInitialiseStack()