protected_writeback_scache_line
protected_writeback_scache_line(addr0);
protected_writeback_scache_line(addr1);