| 172 | /*--------------------------- rt_psh_req ------------------------------------*/ |
| 173 | |
| 174 | void 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 ------------------------------------*/ |
no outgoing calls
no test coverage detected