.text

hal_flush_tlb:
    tlbi
    ret