leon_flush_tlb_all
void leon_flush_tlb_all(void);
leon_flush_tlb_all();
.tlb_all = leon_flush_tlb_all,