Test Kernel

try to fix some functions #76

Annotations

7 errors and 10 warnings

cannot find type `PDE` in this scope

failed to resolve: use of undeclared type `PGDE`

no method named `lookup_pd_slot` found for reference `&arch::aarch64::utils::PTE` in the current scope

struct `arch::aarch64::structures::lookupPTSlot_ret_t` has no field named `status`

Process completed with exit code 255.

unused imports: `ap_from_vm_rights`, `paddr_to_pptr`, `vm_attributes_t`

unused imports: `ARM_Large_Page`, `ARM_Small_Page`

unused import: `convert_ref_type_to_usize`

unused import: `arch::vm_rights_t`

unused import: `structures::exception_t`

unused import: `core::intrinsics::unlikely`

unused import: `super::machine::mair_types`

unused imports: `lookupFrame_ret_t`, `lookupPTSlot_ret_t`

unused imports: `clean_by_va_pou`, `find_vspace_for_asid`, `invalidate_tlb_by_asid`

unused import: `crate::vptr_t`