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