578a579,585
> void
> setPC(Addr pc)
> {
> privateFlags.set(VALID_PC);
> _pc = pc;
> }
>