8/8

xen: use hw_pte_t for PTE range callbacks

[xen: use hw_pte_t for PTE range callbacks] Generic PTE range and remapping helpers now pass pointers to PTE table storage as hw_pte_t *. Update the Xen callbacks to match those interfaces. Keep soft