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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h75 asid_map_t findMapForASID(asid_t asid);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c533 asid_map_t findMapForASID(asid_t asid) function
550 asid_map = findMapForASID(asid);
H A Dept.c77 asid_map = findMapForASID(asid);

Completed in 97 milliseconds