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

/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c377 create_frames_of_region_ret_t create_frames_ret; local
469 create_frames_ret =
477 if (!create_frames_ret.success) {
480 ndks_boot.bi_frame->userImageFrames = create_frames_ret.region;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c253 create_frames_of_region_ret_t create_frames_ret; local
324 create_frames_ret =
332 if (!create_frames_ret.success) {
335 ndks_boot.bi_frame->userImageFrames = create_frames_ret.region;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c272 create_frames_of_region_ret_t create_frames_ret; local
433 create_frames_ret =
441 if (!create_frames_ret.success) {
444 ndks_boot.bi_frame->userImageFrames = create_frames_ret.region;

Completed in 39 milliseconds