platform_ops.malloc() vs. realloc()

[Segher Boessenkool]

> |         void *  (*malloc)(u32 size);

> |         void *  (*realloc)(void *ptr, unsigned long size);

> Is there a specific reason why the size parameters of malloc() and 
> realloc()
> differ in type?

There are good arguments to prefer either u32 or unsigned
long, so maybe the current situation is a compromise ;-P


Segher