Searched refs:seL4_ARCH_Page_Unmap (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h30 #define seL4_ARCH_Page_Unmap seL4_X86_Page_Unmap macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h32 #define seL4_ARCH_Page_Unmap seL4_RISCV_Page_Unmap macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h35 #define seL4_ARCH_Page_Unmap seL4_ARM_Page_Unmap macro
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c175 seL4_ARCH_Page_Unmap(device_cap);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_vspace.c113 error = seL4_ARCH_Page_Unmap(iospace_frame_cap_copy);
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c361 error = seL4_ARCH_Page_Unmap(copy_addr_frame + i);
1262 error = seL4_ARCH_Page_Unmap(frame);
1998 error = seL4_ARCH_Page_Unmap(cap);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c461 int error = seL4_ARCH_Page_Unmap(cap);

Completed in 93 milliseconds