i'm still trying to decide whether it makes sense to add __riscv_flush_icache() to bionic or not[1] and was looking to see whether musl had added it. i notice you've _implemented_ it but not added it to the <sys/cacheflush.h> header. was that deliberate or just an oversight?