update the sc yieldto codes #248
Annotations
2 errors and 10 warnings
|
|
|
simulate
The operation was canceled.
|
|
Build
unused import: `println`
|
|
Build
unused imports: `cap_reply_cap`, `mdb_node`
|
|
Build
unused import: `cte_insert`
|
|
Build
unused import: `sched_context::sched_context_t`
|
|
Build
the item `sched_context_t` is imported redundantly
|
|
Build
the item `ksCurSC` is imported redundantly
|
|
Build
the item `reply_t` is imported redundantly
|
|
Build
the item `sched_context_t` is imported redundantly
|
|
Build
the item `ksCurSC` is imported redundantly
|
|
Build
the item `sched_context_t` is imported redundantly
|
Loading