ptp_phys_high    1257 sound/pci/ctxfi/cthw20k1.c 	u32 ptp_phys_low, ptp_phys_high;
ptp_phys_high    1268 sound/pci/ctxfi/cthw20k1.c 	ptp_phys_high = upper_32_bits(info->vm_pgt_phys);
ptp_phys_high    1277 sound/pci/ctxfi/cthw20k1.c 	hw_write_20kx(hw, PTPAHX, ptp_phys_high);
ptp_phys_high    1235 sound/pci/ctxfi/cthw20k2.c 	u32 ptp_phys_low, ptp_phys_high;
ptp_phys_high    1247 sound/pci/ctxfi/cthw20k2.c 	ptp_phys_high = upper_32_bits(info->vm_pgt_phys);
ptp_phys_high    1253 sound/pci/ctxfi/cthw20k2.c 		hw_write_20kx(hw, VMEM_PTPAH+(16*i), ptp_phys_high);