VSpace aarch64 相关方法移植

[llh730]

可以参考：src/arch/arm/64/kernel/vspace.c
已实现，可能存在bug：
map_kernel_window
write_it_asid_pool
lookup_pt_slot
findVSpaceForASID
pte_t中实现了一些功能性函数，可以具体看
即将写：
setCurrentUserVSpaceRoot
set_vm_root

@Huzhiwen1208 完成

1. unmapPageTable DONE
2. arch_get_n_paging DONE
3. create_unmapped_it_frame_cap DONE
4. activate_kernel_vspace DONE
5. create_it_address_space DONE

[llh730]

rust_map_kernel_window 存在bug尚未修复

[yfblock]

在 vspace 中的 armKSGlobalKernelPGD 等

rel4_kernel/sel4_vspace/src/arch/aarch64/interface.rs

Lines 18 to 41 in 56d97aa

	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPGD: [pte_t; BIT!(PT_INDEX_BITS)] =
	[pte_t(0); BIT!(PT_INDEX_BITS)];
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPUD: [pte_t; BIT!(PT_INDEX_BITS)] =
	[pte_t(0); BIT!(PT_INDEX_BITS)];
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPDs: [[pte_t; BIT!(PT_INDEX_BITS)]; BIT!(PT_INDEX_BITS)] =
	[[pte_t(0); BIT!(PT_INDEX_BITS)]; BIT!(PT_INDEX_BITS)];
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalUserVSpace: [pte_t; BIT!(PT_INDEX_BITS)] =
	[pte_t(0); BIT!(PT_INDEX_BITS)];
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPT: [pte_t; BIT!(PT_INDEX_BITS)] =
	[pte_t(0); BIT!(PT_INDEX_BITS)];

没有 4k 对齐，在 mi_dev 分支的 27d930e 中修复了这个问题

rel4_kernel/sel4_vspace/src/arch/aarch64/interface.rs

Lines 20 to 68 in 27d930e

	pub const PageAlignedLen: usize = BIT!(PT_INDEX_BITS);
	#[repr(align(4096))]
	#[derive(Clone, Copy)]
	pub struct PageAligned<T>([T; PageAlignedLen]);
	impl<T: Copy> PageAligned<T> {
	pub const fn new(v: T) -> Self {
	Self([v; PageAlignedLen])
	}
	}
	impl<T> Deref for PageAligned<T> {
	type Target = [T; PageAlignedLen];
	fn deref(&self) -> &Self::Target {
	&self.0
	}
	}
	impl<T> DerefMut for PageAligned<T> {
	fn deref_mut(&mut self) -> &mut Self::Target {
	&mut self.0
	}
	}
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPGD: PageAligned<pte_t> = PageAligned::new(pte_t(0));
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPUD: PageAligned<pte_t> = PageAligned::new(pte_t(0));
	// #[no_mangle]
	// #[link_section = ".page_table"]
	// pub(crate) static mut armKSGlobalKernelPDs: [[pte_t; BIT!(PT_INDEX_BITS)]; BIT!(PT_INDEX_BITS)] =
	// [[pte_t(0); BIT!(PT_INDEX_BITS)]; BIT!(PT_INDEX_BITS)];
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPDs: PageAligned<PageAligned<pte_t>> =
	PageAligned::new(PageAligned::new(pte_t(0)));
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalUserVSpace: PageAligned<pte_t> = PageAligned::new(pte_t(0));
	#[no_mangle]
	#[link_section = ".page_table"]
	pub(crate) static mut armKSGlobalKernelPT: PageAligned<pte_t> = PageAligned::new(pte_t(0));

[llh730]

新的vspace.c 分工如下：

-------------------------
llh:
//APFromVMRights
//maskVMRights
map_kernel_frame
//map_kernel_window
map_it_frame_cap
//create_it_frame_cap
map_it_pt_cap
create_it_pt_cap
map_it_pd_cap
create_it_pd_cap
//arch_get_n_paging
//create_it_address_space
create_unmapped_it_frame_cap
//create_mapped_it_frame_cap
//activate_kernel_vspace
//?write_it_asid_pool
findMapForASID
//?findVSpaceForASID
lookupFrame
isVTableRoot
isValidNativeRoot
isValidVTableRoot


-------------------------
hzw:
makeUser3rdLevel
makeUser2ndLevel
makeUser1stLevel
setVMRootForFlush
pageUpperDirectoryMapped
pageDirectoryMapped
invalidateTLBByASID
invalidateTLBByASIDVA
pageTableMapped
unmapPageUpperDirectory
unmapPageDirectory
//unmapPageTable
//?unmapPage
//?deleteASID
//?deleteASIDPool
doFlush
lookupIPCBuffer
checkValidIPCBuffer  == check_ipc_buffer_valid


-------------------------
zy:
//lookupPGDSlot
//lookupPUDSlot
//lookupPDSlot
//lookupPTSlot
performVSpaceFlush
performPageDirectoryInvocationMap 
performPageDirectoryInvocationUnmap
performPageTableInvocationMap == decode_page_table_map
performPageTableInvocationUnmap == decode_page_table_unmap
performHugePageInvocationMap
performLargePageInvocationMap
performSmallPageInvocationMap
performPageInvocationUnmap
performPageFlush
performPageGetAddress
//performASIDControlInvocation == decode_asid_control
decodeARMVSpaceRootInvocation
decodeARMPageDirectoryInvocation
//decodeARMPageTableInvocation == decode_page_table_invocation
//decodeARMFrameInvocation == decode_frame_invocation
//decodeARMMMUInvocation == decode_mmu_invocation 

[yfblock]

支持 aarch64 启动到第一个 user 程序相关的 commit

seL4_c_impl.git: 00b28169595eb3e0903f8ddf357256510b470981
driver-collect: d974f8613aec34e73bc1d7d197d54f38bec0b5b3
rel4_kernel.git: 9255e9a6a894856a9e1ff4ddddde1c4501975421
sel4_common: 800dd51b60fc3934ccecb5b3b1266f668940dbc9
sel4_cspace: ee65906b8cabce801d78e921189f9c5ea4a5e0fe
sel4_ipc: e5a7e27ecdccdc9f4272bf9f74444163afef1e27
sel4_task: ced5fee03e172ee9e327f1b969483bf974bacd21
sel4_vspace: 61daada42d457ca511dd0048c72f33a9016e14f1
serial-frame: e7616371b86fe65d7464dbc0239d49f959b14d81
serial-impl-pl011: 0a821ec3476a515208c934d07515939b2340ad44
serial-impl-sbi: 1cd1af47fb1029a1b272ac59f574598bb3dad284

[yfblock]

aarch64 和 riscv64 的 exception 处理不太一样，在 fastpath 的情况下是不保存 tls 的，需要在进入 slowpath 之前保存 tls 寄存器 tpidr_el0 和 tpidrro_el0

[ZhiQiu-ovO]

支持aarch64 seltest的各仓库commit id：

seL4_c_impl.git: a09ba320d0d0182bfa3bc6e819944a5c372455c1
driver-collect: d974f8613aec34e73bc1d7d197d54f38bec0b5b3
rel4_kernel.git: bdc98a2ec7e6e2783c045cb29cb6230c0cd4725d
sel4_common: be256e394e29142220fa55cbc62d21b7126434b3
sel4_cspace: a592624c0f82e14f4a71ba775a6e83e23b53c82f
sel4_ipc: cdd75c6945ee0bed7b1eec6cdd1d403a63fb3f80
sel4_task: 80dd33993057c2f3fd156a0a778039e7546e2fc5
sel4_vspace: a8eedeca08e1c4426ae99f6450dce4cf26e0d20f
serial-frame: e7616371b86fe65d7464dbc0239d49f959b14d81
serial-impl-pl011: 0a821ec3476a515208c934d07515939b2340ad44
serial-impl-sbi: 1cd1af47fb1029a1b272ac59f574598bb3dad284