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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2163 cap_t pdCap; local
2204 pdCap = excaps.excaprefs[0]->cap;
2206 if (unlikely(cap_get_capType(pdCap) != cap_page_directory_cap ||
2207 !cap_page_directory_cap_get_capPDIsMapped(pdCap))) {
2215 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(pdCap));
2216 asid = cap_page_directory_cap_get_capPDMappedASID(pdCap);
2286 cap_t pdCap; local
2304 pdCap = excaps.excaprefs[0]->cap;
2309 if (unlikely(cap_get_capType(pdCap) != cap_page_directory_cap ||
2310 !cap_page_directory_cap_get_capPDIsMapped(pdCap))) {
2646 cap_t pdCap; local
[all...]

Completed in 50 milliseconds