Yes, of course, if your goal is to detect 32 bit ARM vs 8 bit AVR, then arm and AVR are the symbols you want.