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

/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c199 asid_map_t asid_map; local
204 asid_map = asid_map_asid_map_ept_new(cap_ept_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
211 asid_map = asid_map_asid_map_vspace_new(cap_page_directory_cap_get_capPDBasePtr(vspaceCapSlot->cap));
213 poolPtr->array[asid & MASK(asidLowBits)] = asid_map;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c48 asid_map_t asid_map = poolPtr->array[asid & MASK(asidLowBits)]; local
49 if (asid_map_get_type(asid_map) == asid_map_asid_map_ept &&
50 (ept_pml4e_t *)asid_map_asid_map_ept_get_ept_root(asid_map) == ept) {
75 asid_map_t asid_map; local
77 asid_map = findMapForASID(asid);
78 if (asid_map_get_type(asid_map) != asid_map_asid_map_ept) {
86 ret.ept = (ept_pml4e_t *)asid_map_asid_map_ept_get_ept_root(asid_map);
H A Dvspace.c41 asid_map_t asid_map = pool->array[offset]; local
42 if (asid_map_get_type(asid_map) == asid_map_asid_map_vspace) {
43 vspace_root_t *vspace = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map);
83 asid_map_t asid_map = poolPtr->array[asid & MASK(asidLowBits)]; local
84 if (asid_map_get_type(asid_map) == asid_map_asid_map_vspace &&
85 (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map) == vspace) {
548 asid_map_t asid_map; local
550 asid_map = findMapForASID(asid);
551 if (asid_map_get_type(asid_map) != asid_map_asid_map_vspace) {
559 ret.vspace_root = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map);
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c803 asid_map_t asid_map; local
808 asid_map = asid_map_asid_map_ept_new(cap_ept_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
815 asid_map = asid_map_asid_map_vspace_new(cap_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
817 poolPtr->array[asid & MASK(asidLowBits)] = asid_map;

Completed in 98 milliseconds