src/rv64/rv64-api.s


1
2
3
4
5
6
7
8
9
10
11
12

# // Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
# // Distributed under the Apache Software License, Version 2.0. (See accompanying
# // file LICENSE_1_0.txt or copy at http://www.apache.org/licenses/LICENSE-2.0)
# // Official repository: https://github.com/nekernel-org/neboot

.balign 4
.global cb_flush_tlb

cb_flush_tlb:
    sfence.vma

    ret