Vadim Yanitskiy
bac9387bba
Make l1sched_prim_alloc() private and call it from l1sched_prim_push(). This makes the API more convinient, because both functions are always used together. Change-Id: Ia9c0170fb06efcef569e987b57ab9ab7f7c7e847 Related: OS#5599, OS#3761 |
||
---|---|---|
.. | ||
include | ||
src | ||
.gitignore | ||
Makefile.am | ||
configure.ac |