add the do reply part #197
Annotations
2 errors and 10 warnings
|
|
|
Build
The operation was canceled.
|
|
Build
constant `CONFIGURE_CLK_MAGIC` is never used
|
|
Build
constant `CONFIGURE_CLK_SHIFT` is never used
|
|
Build
unused import: `println`
|
|
Build
unnecessary parentheses around `if` condition
|
|
Build
unused imports: `cap_reply_cap`, `mdb_node`
|
|
Build
unused import: `cte_insert`
|
|
Build
unused import: `possible_switch_to`
|
|
Build
unused import: `sched_context::sched_context_t`
|
|
Build
the item `sched_context_t` is imported redundantly
|
|
Build
unused import: `types_gen::seL4_Fault_tag::seL4_Fault_NullFault`
|
Loading