SNIP_CLASSIC_OS_SECTION_7_1_2_3_Extensions_to_OSEK_OS

7.1.2.3 Extensions to OSEK OS [SWS_Os_00299] Upstream requirements: SRS_Os_11018 ⌈The Operating System module shall provide the services DisableAllInterrupts, EnableAllInterrupts, SuspendAllInterrupts, ResumeAllInterrupts prior to calling StartOS and after calling ShutdownOS.⌋ It is assumed that the static variables of the functions mentioned in [SWS_Os_00299] are initialized. [SWS_Os_00301] Upstream requirements: SRS_Os_11021 ⌈The Operating System module shall provide the ability to increment a software Counter as an alternative action on alarm expiry.⌋ The Operating System module provides API service IncrementCounter (see [SWS_Os_00399]) to increment a software Counter. [SWS_Os_00476] ⌈The Operating System module shall allow to automatically start preconfigured absolute alarms during the start of the Operating System.⌋ [SWS_Os_00476] is an extension to OSEK OS which allows this only for relative alarms. [SWS_Os_00566] ⌈The Operating System API shall check in extended mode all pointer arguments for a NULL_PTR and return E_OS_ILLEGAL_ADDRESS in this case unless NULL_PTR is explicitly allowed as a valid pointer address value in the API parameter specification.⌋