1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __ASM_TLBEX_H
3#define __ASM_TLBEX_H
4
5#include <asm/uasm.h>
6
7/*
8 * Write random or indexed TLB entry, and care about the hazards from
9 * the preceding mtc0 and for the following eret.
10 */
11enum tlb_write_entry {
12	tlb_random,
13	tlb_indexed
14};
15
16extern int pgd_reg;
17
18void build_get_pmde64(u32 **p, struct uasm_label **l, struct uasm_reloc **r,
19		      unsigned int tmp, unsigned int ptr);
20void build_get_pgde32(u32 **p, unsigned int tmp, unsigned int ptr);
21void build_get_ptep(u32 **p, unsigned int tmp, unsigned int ptr);
22void build_update_entries(u32 **p, unsigned int tmp, unsigned int ptep);
23void build_tlb_write_entry(u32 **p, struct uasm_label **l,
24			   struct uasm_reloc **r,
25			   enum tlb_write_entry wmode);
26void build_tlb_refill_handler(void);
27
28extern void handle_tlbl(void);
29extern char handle_tlbl_end[];
30
31extern void handle_tlbs(void);
32extern char handle_tlbs_end[];
33
34extern void handle_tlbm(void);
35extern char handle_tlbm_end[];
36
37#endif /* __ASM_TLBEX_H */
38