+void vPortResetPrivilege( BaseType_t xRunningPrivileged );\r
+/*-----------------------------------------------------------*/\r
+\r
+BaseType_t xPortRaisePrivilege( void ) /* FREERTOS_SYSTEM_CALL */\r
+{\r
+BaseType_t xRunningPrivileged;\r
+\r
+ /* Check whether the processor is already privileged. */\r
+ xRunningPrivileged = portIS_PRIVILEGED();\r
+\r
+ /* If the processor is not already privileged, raise privilege. */\r
+ if( xRunningPrivileged != pdTRUE )\r
+ {\r
+ portRAISE_PRIVILEGE();\r
+ }\r
+\r
+ return xRunningPrivileged;\r
+}\r
+/*-----------------------------------------------------------*/\r