static void __sysmmu_set_ptbase(void __iomem *sfrbase, phys_addr_t pgd) { __raw_writel(pgd, sfrbase + REG_PT_BASE_ADDR); __sysmmu_tlb_invalidate(sfrbase); }
static void __sysmmu_set_ptbase(void __iomem *sfrbase, unsigned long pgd) { __raw_writel(pgd, sfrbase + REG_PT_BASE_ADDR); __sysmmu_tlb_invalidate(sfrbase); }