gerrit-public.fairphone.software / kernel / msm-5.4 / a41b51a1f7c15a1b00f30a3ad2d0373ad51b883d / arch / openrisc / include / asm / mmu.h