write_c0_dtaglo
write_c0_dtaglo(itcblkgrn);
write_c0_dtaglo((itc_base & 0xfffffc00) | 0x1 );
write_c0_dtaglo(data);