#include <asm_defs.h>

.text
	/* gas doesn't seem to get the -m arg... */
	.cpu	68040

	/* that one can be inlined */
FUNCTION(flush_insn_pipeline_040):
	nop
	rts
FUNCTION_END(flush_insn_pipeline_040)

	/* flush all ATC entries */
FUNCTION(flush_atc_all_040):
	pflusha
	rts
FUNCTION_END(flush_atc_all_040)

	/* flush all user (non-global) ATC entries */
FUNCTION(flush_atc_user_040):
	pflushan
	rts
FUNCTION_END(flush_atc_user_040)

	/* flush ATC entries for given address */
FUNCTION(flush_atc_addr_040):
	move.l	(4,%a7),%a0
	pflush	(%a0)
	rts
FUNCTION_END(flush_atc_addr_040)