7 /* that one can be inlined */
8 FUNCTION(flush_insn_pipeline_030):
11 FUNCTION_END(flush_insn_pipeline_030)
13 /* flush all ATC entries */
14 FUNCTION(flush_atc_all_030):
17 FUNCTION_END(flush_atc_all_030)
19 /* flush ATC entries for given address */
20 FUNCTION(flush_atc_addr_030):
24 FUNCTION_END(flush_atc_addr_030)