Symbol: intel_dsb_reg_write