Function format_pva_address 

pub fn format_pva_address(addr: &[u8; 16]) -> String

Format a 16-byte PVA address field as a human-readable IP string.

All-zeros → "0.0.0.0", IPv4-mapped → dotted-quad, otherwise IPv6 notation.