modified bugs due to rename pte_t to PTE #136

Annotations

3 errors and 10 warnings

no method named `get_pde_type` found for struct `sel4_vspace::PTE` in the current scope

Process completed with exit code 2.

unused import: `super::read_scause`

unused imports: `RISCVInstructionAccessFault`, `RISCVInstructionPageFault`, `RISCVLoadAccessFault`, `RISCVLoadPageFault`, `RISCVStoreAccessFault`, `RISCVStorePageFault`

unused imports: `handleUserLevelFault`, `handleVMFaultEvent`

unused import: `sel4_common::ffi_call`

unused import: `super::read_stval`

unused import: `config::*`

unused macro definition: `msr`

unused import: `CONFIG_PT_LEVELS`

unused imports: `invoke_asid_control`, `invoke_asid_pool`, `invoke_huge_page_map`, `invoke_page_map`

unused import: `irqInvalid`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

modified bugs due to rename pte_t to PTE #136

test-build (aarch64)

modified bugs due to rename pte_t to PTE #136

Jobs

Run details

Annotations

This job failed

Re-running jobs...