fix some errors with more errors generated #77
ZhiyuanSueAnnotations
24 errors and 20 warnings
|
test-build (aarch64)
unresolved imports `sel4_vspace::PDE`, `sel4_vspace::PUDE`
|
|
test-build (aarch64)
failed to resolve: use of undeclared type `PGDE`
|
|
test-build (aarch64)
type annotations needed
|
|
test-build (aarch64)
type annotations needed
|
|
test-build (aarch64)
failed to resolve: use of undeclared type `PDE`
|
|
test-build (aarch64)
no method named `set_pgd_mapped_asid` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pgd_base_ptr` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
test-build (aarch64)
mismatched types
|
|
test-build (aarch64)
no method named `get_pud_is_mapped` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pud_base_ptr` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
test-build (riscv64)
The job was canceled because "aarch64" failed.
|
|
test-build (riscv64)
The operation was canceled.
|
|
sel4-test (qemu-arm-virt)
unresolved imports `sel4_vspace::PDE`, `sel4_vspace::PUDE`
|
|
sel4-test (qemu-arm-virt)
failed to resolve: use of undeclared type `PGDE`
|
|
sel4-test (qemu-arm-virt)
type annotations needed
|
|
sel4-test (qemu-arm-virt)
type annotations needed
|
|
sel4-test (qemu-arm-virt)
failed to resolve: use of undeclared type `PDE`
|
|
sel4-test (qemu-arm-virt)
no method named `set_pgd_mapped_asid` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pgd_base_ptr` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
mismatched types
|
|
sel4-test (qemu-arm-virt)
no method named `get_pud_is_mapped` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pud_base_ptr` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
|
sel4-test (spike)
The job was canceled because "qemu-arm-virt" failed.
|
|
sel4-test (spike)
The operation was canceled.
|
|
test-build (aarch64)
unused imports: `ap_from_vm_rights`, `find_map_for_asid`, `vm_attributes_t`
|
|
test-build (aarch64)
unused imports: `ARM_Large_Page`, `ARM_Small_Page`
|
|
test-build (aarch64)
unused import: `convert_ref_type_to_usize`
|
|
test-build (aarch64)
unused import: `arch::vm_rights_t`
|
|
test-build (aarch64)
unused import: `crate::arch::aarch64::get_current_lookup_fault`
|
|
test-build (aarch64)
unused import: `GET_PT_INDEX`
|
|
test-build (aarch64)
unused imports: `fault::lookup_fault_t`, `structures::exception_t`
|
|
test-build (aarch64)
unused import: `structures::exception_t`
|
|
test-build (aarch64)
unused import: `core::intrinsics::unlikely`
|
|
test-build (aarch64)
unused import: `super::machine::mair_types`
|
|
sel4-test (qemu-arm-virt)
unused imports: `ap_from_vm_rights`, `find_map_for_asid`, `vm_attributes_t`
|
|
sel4-test (qemu-arm-virt)
unused imports: `ARM_Large_Page`, `ARM_Small_Page`
|
|
sel4-test (qemu-arm-virt)
unused import: `convert_ref_type_to_usize`
|
|
sel4-test (qemu-arm-virt)
unused import: `arch::vm_rights_t`
|
|
sel4-test (qemu-arm-virt)
unused import: `crate::arch::aarch64::get_current_lookup_fault`
|
|
sel4-test (qemu-arm-virt)
unused import: `GET_PT_INDEX`
|
|
sel4-test (qemu-arm-virt)
unused imports: `fault::lookup_fault_t`, `structures::exception_t`
|
|
sel4-test (qemu-arm-virt)
unused import: `structures::exception_t`
|
|
sel4-test (qemu-arm-virt)
unused import: `core::intrinsics::unlikely`
|
|
sel4-test (qemu-arm-virt)
unused import: `super::machine::mair_types`
|