}\r
\r
#define portYIELD_FROM_ISR( x ) portEND_SWITCHING_ISR( x )\r
-#define portYIELD() __asm volatile ( "SMC 0" )\r
-\r
+#if GUEST\r
+ #define portYIELD() __asm volatile ( "SVC 0" )\r
+#else\r
+ #define portYIELD() __asm volatile ( "SMC 0" )\r
+#endif\r
/*-----------------------------------------------------------\r
* Critical section control\r
*----------------------------------------------------------*/\r