336     void vSystemCallExit( uint32_t * pulSystemCallStack,
916         uint32_t * pulSystemCallStack;  in vSystemCallEnter()  local
955             pulSystemCallStack = pxMpuSettings->xSystemCallStackInfo.pulSystemCallStack;  in vSystemCallEnter()
958             pulSystemCallStack = pulSystemCallStack - ulStackFrameSize;  in vSystemCallEnter()
963                 pulSystemCallStack[ i ] = pulTaskStack[ i ];  in vSystemCallEnter()
973             __asm volatile ( "msr psp, %0" : : "r" ( pulSystemCallStack ) );  in vSystemCallEnter()
976 …        pulSystemCallStack[ portOFFSET_TO_PC ] = uxSystemCallImplementations[ ucSystemCallNumber ];  in vSystemCallEnter()
980             pulSystemCallStack[ portOFFSET_TO_LR ] = ( uint32_t ) vRequestSystemCallExit;  in vSystemCallEnter()
1000             pulSystemCallStack[ portOFFSET_TO_PSR ] &= ( ~portPSR_STACK_PADDING_MASK );  in vSystemCallEnter()
1032     void vSystemCallExit( uint32_t * pulSystemCallStack,  in vSystemCallExit()  argument
1056         ulSystemCallLocation = pulSystemCallStack[ portOFFSET_TO_PC ];  in vSystemCallExit()
1080                 pulTaskStack[ i ] = pulSystemCallStack[ i ];  in vSystemCallExit()
1186 …xMPUSettings->xSystemCallStackInfo.pulSystemCallStack = &( xMPUSettings->xSystemCallStackInfo.ulSy…  in pxPortInitialiseStack()
1187 …->xSystemCallStackInfo.pulSystemCallStack = ( uint32_t * ) ( ( uint32_t ) ( xMPUSettings->xSystemC…  in pxPortInitialiseStack()