11 lines
182 B
C
Raw Normal View History

#ifndef __SYNC_H_
#define __SYNC_H_
void sync_before_read(void *p, u32 len);
2014-10-22 06:11:00 +02:00
void sync_after_write(const void *p, u32 len);
2014-10-22 06:11:00 +02:00
void sync_before_exec(const void *p, u32 len);
#endif