Symbol: process_read_dbregs