Searched refs:sel4platsupport_alloc_frame_at (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Ddevice.h31 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr,
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame) function
61 error = sel4platsupport_alloc_frame_at(vka, paddr, size_bits, frame);
H A Dcommon.c105 error = sel4platsupport_alloc_frame_at(vka, paddr, bits, &dest);
138 error = sel4platsupport_alloc_frame_at(vka, paddr, bits, &dest);

Completed in 91 milliseconds