stackallocatorforidlewkspace.c File Reference

This source file contains the implementation of _Stack_Allocator_allocate_for_idle_workspace(). More...

#include <rtems/score/stack.h>
#include <rtems/score/interr.h>
#include <rtems/score/wkspace.h>

Functions
void *	_Stack_Allocator_allocate_for_idle_workspace (uint32_t unused, size_t *storage_size)
	Allocates the IDLE thread storage area from the workspace.

Detailed Description

This source file contains the implementation of _Stack_Allocator_allocate_for_idle_workspace().