Symbol: process_dbreg32