234                                    uint64_t pte, int *fault_cause, int *prot,  in ppc_radix64_check_prot()  argument
245         *fault_cause |= SRR1_NOEXEC_GUARD;  in ppc_radix64_check_prot()
264         *fault_cause |= access_type == MMU_INST_FETCH ? SRR1_NOEXEC_GUARD :  in ppc_radix64_check_prot()
331                                   int *psize, uint64_t *pte, int *fault_cause)  in ppc_radix64_next_level()  argument
338         *fault_cause |= DSISR_NOPTE;  in ppc_radix64_next_level()
366                                  int *fault_cause, hwaddr *pte_addr)  in ppc_radix64_walk_tree()  argument
388             *fault_cause |= DSISR_R_BADCONFIG;  in ppc_radix64_walk_tree()
393                                      fault_cause);  in ppc_radix64_walk_tree()
435     int fault_cause = 0;  in ppc_radix64_partition_scoped_xlate()  local
456                               &pte, &fault_cause, &pte_addr) ||  in ppc_radix64_partition_scoped_xlate()
458                                &fault_cause, h_prot, mmu_idx, true)) {  in ppc_radix64_partition_scoped_xlate()
460             fault_cause |= DSISR_PRTABLE_FAULT;  in ppc_radix64_partition_scoped_xlate()
464                                   eaddr, g_raddr, fault_cause);  in ppc_radix64_partition_scoped_xlate()
522     int fault_cause = 0, h_page_size, h_prot;  in ppc_radix64_process_scoped_xlate()  local
584                                     &fault_cause, &pte_addr);  in ppc_radix64_process_scoped_xlate()
588                 ppc_radix64_raise_si(cpu, access_type, eaddr, fault_cause);  in ppc_radix64_process_scoped_xlate()
616                 fault_cause |= DSISR_R_BADCONFIG;  in ppc_radix64_process_scoped_xlate()
621                                              &pte, &fault_cause);  in ppc_radix64_process_scoped_xlate()
627                     ppc_radix64_raise_si(cpu, access_type, eaddr, fault_cause);  in ppc_radix64_process_scoped_xlate()
641     if (ppc_radix64_check_prot(cpu, access_type, pte, &fault_cause,  in ppc_radix64_process_scoped_xlate()
645             ppc_radix64_raise_si(cpu, access_type, eaddr, fault_cause);  in ppc_radix64_process_scoped_xlate()