__cache_flush - OpenBSD

43

static void __cache_flush(void);

46

._icache_sync_all = (void (*)(void))__cache_flush,

47

._icache_sync_range = (void (*)(vaddr_t, vsize_t))__cache_flush,

48

._icache_sync_range_index = (void (*)(vaddr_t, vsize_t))__cache_flush,

49

._dcache_wbinv_all = (void (*)(void))__cache_flush,

50

._dcache_wbinv_range = (void (*)(vaddr_t, vsize_t))__cache_flush,

51

._dcache_wbinv_range_index = (void (*)(vaddr_t, vsize_t))__cache_flush,

52

._dcache_inv_range = (void (*)(vaddr_t, vsize_t))__cache_flush,

53

._dcache_wb_range = (void (*)(vaddr_t, vsize_t))__cache_flush