sync_data_memory
extern void sync_data_memory(caddr_t, size_t);
sync_data_memory(kaddr, PAGESIZE);
sync_data_memory((caddr_t)(ea - 64), 64);