Symbol: vlapic_dcr_write_handler