|
Safe API Framework
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
OS-backend adaptation surface for the static memory pool service (ADR-005, ADR-021). More...
Go to the source code of this file.
Data Structures | |
| struct | sapi_mem_pool_backend_t |
| Backend vtable: an integrator's implementation of the memory pool service (ADR-005). Any slot may be NULL if unsupported by the backend (-> SAPI_STATUS_NOT_SUPPORTED). More... | |
Functions | |
| sapi_status_t | sapi_mem_pool_register_backend (const sapi_mem_pool_backend_t *backend) |
| Registers the backend implementation used by every sapi_mem_pool_* call (ADR-005 section 2.1). Call once at startup. | |
OS-backend adaptation surface for the static memory pool service (ADR-005, ADR-021).
For platform integrators implementing a sapi_mem_pool_backend_t and calling sapi_mem_pool_register_backend() - NOT part of the consumer API (safeapi/memory/sapi_memory.h). A real application should never include this file; only the startup code that wires a concrete backend does.
Definition in file sapi_memory_backend.h.