Use PhysAddr type