github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-18 16:36:43 +00:00
Code Issues Projects Releases Wiki Activity

kata-shell: improve portability of memory manager test cmds

Browse Source 
Change-Id: I1632dcc553a5e4b0e4763ec56bbba2493b21eeeb
GitOrigin-RevId: e5b3fc43438dd8fb4e7404234b47888e7502f1c0
This commit is contained in:
Sam Leffler
2022-10-13 22:32:07 +00:00
parent 91941d0028
commit 130887a482
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
apps/system/components/DebugConsole/kata-shell/src/test_memory_manager.rs
View File

@@ -29,6 +29,7 @@ use kata_os_common::sel4_sys;
use sel4_sys::seL4_CPtr;
use sel4_sys::seL4_MinSchedContextBits;
use sel4_sys::seL4_ObjectType::*;
use sel4_sys::seL4_SmallPageObject;
use sel4_sys::seL4_WordBits;
pub fn add_cmds(cmds: &mut HashMap<&str, CmdFn>) {
@@ -73,7 +74,7 @@ fn mfree_command(
unsafe { SELF_CNODE },
seL4_WordBits as u8,
vec![ObjDesc::new(
sel4_sys::seL4_RISCV_4K_Page,
seL4_SmallPageObject,
count_str.parse::<usize>()?,
cptr_str.parse::<usize>()? as seL4_CPtr,
)],
@@ -155,7 +156,7 @@ fn obj_alloc_command(
seL4_MinSchedContextBits,
5,
),
ObjDesc::new(seL4_RISCV_4K_Page, 10, 6), // 10 4K pages
ObjDesc::new(seL4_SmallPageObject, 10, 6), // 10 4K pages
],
);
match kata_object_alloc(&objs) {
@@ -184,7 +185,7 @@ fn obj_alloc_command(
seL4_MinSchedContextBits,
3,
),
ObjDesc::new(seL4_RISCV_4K_Page, 2, 4), // 2 4K pages
ObjDesc::new(seL4_SmallPageObject, 2, 4), // 2 4K pages
]) {
Ok(objs) => {
writeln!(output, "kata_object_alloc_in_cnode ok: {:?}", objs)?;