인텔 i386은 flush_tlb_range()를 지원하지 않아서 flsh_tlb를 사용하는 것 같은데 코멘트를 보면 i486부터는 지원하는 걸로 나오거든요. SMP 환경에서 flush_tlb_range()를 지원하는 코드는 어디서 찾을수 있나요? i486 소스 트리가 따로 있는 것 같지도 않은데.. Linux Kernel에 익숙하신 분의 도움 바랍니다.