/* These are not architecture-specific functions, but are instead
* general utilities defined in terms of the architecture-specific
* function os_validate(..) and os_invalidate(..).
/* These are not architecture-specific functions, but are instead
* general utilities defined in terms of the architecture-specific
* function os_validate(..) and os_invalidate(..).