show_pte() doesn't have any external callers, so make it static.
Signed-off-by: NWill Deacon <will.deacon@arm.com>