Public APIs for external cache controller drivers. More...
#include <stddef.h>
Go to the source code of this file.
Public APIs for external cache controller drivers.