MCPcopy Create free account
hub / github.com/LPC4/Full-Stack / pmm_free_list_reuse

Function pmm_free_list_reuse

tests/integration/platform_stdlib.rs:977–1007  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

975 }
976 i += 1
977 }
978 slot: i64* = vec.Vec_get<i64>(&v, 99)
979 if slot == null { fail(2) }
980 if @slot != 297 { fail(3) }
981 vec.Vec_deinit<i64>(&v)
982
983 s: owned.OwnedString = { .bytes = { .ptr = null, .len = 0, .capacity = 0 } }
984 owned.OwnedString_init(&s)
985 seeded := owned.OwnedString_from_slice(&s, "kernel")
986 match seeded {
987 Ok(len) -> { if len != 6 { fail(4) } }
988 Err(error) -> { fail(5) }
989 }
990 view: u8[] = owned.OwnedString_as_slice(&s)
991 if view.len != 6 or view[0] != 107 { fail(6) }
992 owned.OwnedString_deinit(&s)
993
994 a: arena.Arena = { .head = null }
995 arena.Arena_init(&a)
996 block_result := arena.Arena_alloc(&a, 4096, 64)
997 block: u8* = null
998 match block_result {
999 Ok(value) -> { block = value }
1000 Err(error) -> { fail(7) }
1001 }
1002 if (block as u64) % 64 != 0 { fail(8) }
1003 block[0] = 9
1004 arena.Arena_deinit(&a)
1005
1006 p: pool.Pool<i64> = { .chunks = null }
1007 pool.Pool_init<i64>(&p)
1008 first_result := pool.Pool_alloc<i64>(&p)
1009 first: i64* = null
1010 match first_result {

Callers

nothing calls this directly

Calls 1

run_kernel_hllFunction · 0.70

Tested by

no test coverage detected