1
2#include <asm_defs.h>
3
4.text
5	/* gas doesn't seem to get the -m arg... */
6	.cpu	68040
7
8	/* that one can be inlined */
9FUNCTION(flush_insn_pipeline_040):
10	nop
11	rts
12FUNCTION_END(flush_insn_pipeline_040)
13
14	/* flush all ATC entries */
15FUNCTION(flush_atc_all_040):
16	pflusha
17	rts
18FUNCTION_END(flush_atc_all_040)
19
20	/* flush all user (non-global) ATC entries */
21FUNCTION(flush_atc_user_040):
22	pflushan
23	rts
24FUNCTION_END(flush_atc_user_040)
25
26	/* flush ATC entries for given address */
27FUNCTION(flush_atc_addr_040):
28	move.l	(4,%a7),%a0
29	pflush	(%a0)
30	rts
31FUNCTION_END(flush_atc_addr_040)
32
33
34
35