Searched refs:sbd_flush_ecache (Results 1 – 1 of 1) sorted by relevance
74 static void sbd_flush_ecache(uint64_t a, uint64_t b);2590 xc_all(sbd_flush_ecache, 0, 0); in sbd_detach_memory()2703 sbd_flush_ecache(uint64_t a, uint64_t b) in sbd_flush_ecache() function