Merge pull request #262 from antonblanchard/reset-tb-decr

Reset TB and DECR
cache-tlb-parameters-2
Paul Mackerras 4 years ago committed by GitHub
commit 45b7312e89
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -282,6 +282,8 @@ begin
if rising_edge(clk) then if rising_edge(clk) then
if rst = '1' then if rst = '1' then
r <= reg_type_init; r <= reg_type_init;
ctrl.tb <= (others => '0');
ctrl.dec <= (others => '0');
ctrl.msr <= (MSR_SF => '1', MSR_LE => '1', others => '0'); ctrl.msr <= (MSR_SF => '1', MSR_LE => '1', others => '0');
ctrl.irq_state <= WRITE_SRR0; ctrl.irq_state <= WRITE_SRR0;
else else

Loading…
Cancel
Save