Searched refs:cap_frame_cap_ptr_set_capFMappedASID (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h80 static inline void cap_frame_cap_ptr_set_capFMappedASID(cap_t *cap, asid_t asid) function
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c66 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid);
H A Dvspace.c827 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1624 cap_frame_cap_ptr_set_capFMappedASID(&ctSlot->cap, asidInvalid);

Completed in 51 milliseconds