Fix a bad interrupt state in the PIC32 IDLE loop when the work queue is enabled

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4805 7fd9a85b-ad96-42d3-883c-3090e2eb8679
This commit is contained in:
patacongo
2012-06-06 01:44:57 +00:00
parent 930b5b836c
commit 4c222bcab1
10 changed files with 42 additions and 15 deletions
+1 -1
View File
@@ -2,7 +2,7 @@
* sched/work_thread.c
*
* Copyright (C) 2009-2011 Gregory Nutt. All rights reserved.
* Author: Gregory Nutt <spudmonkey@racsa.co.cr>
* Author: Gregory Nutt <gnutt@nuttx.org>
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions