Lines Matching refs:final
180 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final)
186 if (final && cap_page_directory_cap_get_capPDIsMapped(cap)) {
196 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
206 if (final) {
222 if (final) {
230 if (final) {
236 if (final && cap_io_page_table_cap_get_capIOPTIsMapped(cap)) {
244 if (final) {
249 if (final && cap_ept_pml4_cap_get_capPML4IsMapped(cap)) {
256 if (final && cap_ept_pdpt_cap_get_capPDPTIsMapped(cap)) {
265 if (final && cap_ept_pd_cap_get_capPDIsMapped(cap)) {
274 if (final && cap_ept_pt_cap_get_capPTIsMapped(cap)) {
284 return Mode_finaliseCap(cap, final);