XEON_GEN4_REG_PPD0
ppd0 = intel_ntb_reg_read(4, XEON_GEN4_REG_PPD0);
intel_ntb_reg_write(4, XEON_GEN4_REG_PPD0, ppd0);