update the sel4_cspace/src/arch/aarch64/mod.rs with some definations #70
ZhiyuanSueAnnotations
24 errors
|
test-build (aarch64)
no method named `get_pgd_base_ptr` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pd_base_ptr` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pd_mapped_address` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pd_is_mapped` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pud_base_ptr` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pud_mapped_address` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pud_is_mapped` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no function or associated item named `new_page_directory_cap` found for struct `cap_t` in the current scope
|
|
test-build (aarch64)
no method named `get_pgd_base_ptr` found for reference `&cap_t` in the current scope
|
|
test-build (aarch64)
no variant or associated item named `CapPageGlobalDirectoryCap` found for enum `CapTag` 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)
no method named `get_pgd_base_ptr` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pd_base_ptr` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pd_mapped_address` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pd_is_mapped` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pud_base_ptr` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pud_mapped_address` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pud_is_mapped` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no function or associated item named `new_page_directory_cap` found for struct `cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no method named `get_pgd_base_ptr` found for reference `&cap_t` in the current scope
|
|
sel4-test (qemu-arm-virt)
no variant or associated item named `CapPageGlobalDirectoryCap` found for enum `CapTag` in the current scope
|
|
sel4-test (spike)
The job was canceled because "qemu-arm-virt" failed.
|
|
sel4-test (spike)
The operation was canceled.
|