MCPcopy Create free account
hub / github.com/ARMmbed/DAPLink / rt_psh_req

Function rt_psh_req

source/rtos/rt_System.c:174–182  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

172/*--------------------------- rt_psh_req ------------------------------------*/
173
174void rt_psh_req (void) {
175 /* Initiate a post service handling request if required. */
176 if (os_lock == __FALSE) {
177 OS_PEND_IRQ ();
178 }
179 else {
180 os_psh_flag = __TRUE;
181 }
182}
183
184
185/*--------------------------- rt_pop_req ------------------------------------*/

Callers 4

isr_evt_setFunction · 0.85
isr_mbx_sendFunction · 0.85
isr_mbx_receiveFunction · 0.85
isr_sem_sendFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected