Lines Matching refs:final
138 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final)
144 if (final) {
157 if (final && cap_page_global_directory_cap_get_capPGDIsMapped(cap)) {
171 if (final && cap_page_upper_directory_cap_get_capPUDIsMapped(cap)) {
176 if (final && cap_page_upper_directory_cap_get_capPUDIsMapped(cap)) {
186 if (final && cap_page_directory_cap_get_capPDIsMapped(cap)) {
194 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
211 if (final) {
221 if (final) {
226 if (final) {