#warning This file is deprecated, use switch_ctx_avr.S
#include "switch_ctx_avr.S"