taglinefilesource code
pushcl040385arch/m68k/mm/memory.cpushcl040(paddr);
pushcl040390arch/m68k/mm/memory.cpushcl040(paddr);
pushcl040393arch/m68k/mm/memory.cpushcl040(paddr + len - 1);