--- api/api.c.orig 2020-07-06 19:22:53 UTC +++ api/api.c @@ -292,6 +292,11 @@ static int API_dev_close(va_list ap) if (!err) di->state = DEV_STA_CLOSED; + if (dcache_status()) + flush_dcache_all(); + if (icache_status()) + invalidate_icache_all(); + return err; }