panthor_mmu_as_fault_mask
u32 mask = panthor_mmu_as_fault_mask(ptdev, as);
panthor_mmu_as_fault_mask(ptdev, as_nr));
panthor_mmu_as_fault_mask(ptdev, as_nr));
if (ptdev->mmu->as.faulty_mask & panthor_mmu_as_fault_mask(ptdev, as))
fault_mask = panthor_mmu_as_fault_mask(ptdev, as);