try to clean the ffi kernel_stack_alloc ksIdleThreadTCB and Arch_fina… #157
ZhiyuanSueAnnotations
10 errors and 10 warnings
|
test-build (aarch64)
module `ffi` is private
|
|
test-build (aarch64)
mismatched types
|
|
test-build (aarch64)
no method named `lookup_pt_slot` found for mutable reference `&mut PGDE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pd_slot` found for mutable reference `&mut PGDE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pud_slot` found for mutable reference `&mut PGDE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pd_slot` found for mutable reference `&mut PGDE` in the current scope
|
|
test-build (aarch64)
mismatched types
|
|
test-build (aarch64)
Process completed with exit code 2.
|
|
test-build (riscv64)
The job was canceled because "aarch64" failed.
|
|
sel4-test
The action 'simulate' has timed out after 2 minutes.
|
|
test-build (aarch64)
unused import: `super::read_scause`
|
|
test-build (aarch64)
unused imports: `RISCVInstructionAccessFault`, `RISCVInstructionPageFault`, `RISCVLoadAccessFault`, `RISCVLoadPageFault`, `RISCVStoreAccessFault`, `RISCVStorePageFault`
|
|
test-build (aarch64)
unused imports: `handleUserLevelFault`, `handleVMFaultEvent`
|
|
test-build (aarch64)
unused import: `sel4_common::ffi_call`
|
|
test-build (aarch64)
unused import: `super::read_stval`
|
|
test-build (aarch64)
unused import: `config::*`
|
|
test-build (aarch64)
unused macro definition: `msr`
|
|
test-build (aarch64)
unused import: `crate::ffi::*`
|
|
test-build (aarch64)
unused import: `CONFIG_PT_LEVELS`
|
|
test-build (aarch64)
unused imports: `invoke_asid_control`, `invoke_asid_pool`, `invoke_page_map`
|