add some funcitons #71
ZhiyuanSueAnnotations
18 errors and 2 warnings
|
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)
Process completed with exit code 2.
|
|
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_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)
Process completed with exit code 255.
|
|
sel4-test (spike)
The job was canceled because "qemu-arm-virt" failed.
|
|
sel4-test (spike)
The operation was canceled.
|
|
test-build (aarch64)
unused import: `GET_UPT_INDEX`
|
|
sel4-test (qemu-arm-virt)
unused import: `GET_UPT_INDEX`
|