david@l8s.co.uk wrote:

> 'volative caddr_t ptr' is a volatile pointer to characters (ie the pointer
> is likely to be changed).
> 
> 'volatile void *ptr' is a pointer to volatile data.
> 
> The former should have been changed to 'void *volatile ptr'.

I doubt the former assumes it (pointer is volatile),
but it intended the latter (data is volatile).
---
Izumi Tsutsui