Question about the linux switch_to macro parameters