Re: powerpc(64): tweak timecounter mask

[Christian Weisgerber]

Christian Weisgerber:

> -     tb_get_timecount, NULL, 0x7fffffff, 0, "tb", 0, NULL, 0
> +     tb_get_timecount, NULL, 0xffffffff, 0, "tb", 0, NULL, 0

PS: Do we prefer ~0u over 0xffffffff?

-- 
Christian "naddy" Weisgerber                          na...@mips.inka.de