Andrew Doran wrote:
> Log Message:
> Share cpu.h between the x86 ports.
Wouldn't this (and most other uses of uintptr_t):
+ uintptr_t ci_suspend_reg[12];
be better of being register_t ? uintptr_t seems a wishy-washy
type for this use - we're not dealing with pointers or their
representations here.
Cheers,
Simon.