+ /* 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
+\r
+void vPortResetPrivilege( BaseType_t xRunningPrivileged )\r
+{\r
+ if( xRunningPrivileged != pdTRUE )\r
+ {\r
+ portRESET_PRIVILEGE();\r
+ }\r
+}\r