diff options
Diffstat (limited to 'src/usr/intr/intrrp.H')
| -rw-r--r-- | src/usr/intr/intrrp.H | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/usr/intr/intrrp.H b/src/usr/intr/intrrp.H index 488f27706..e2495fb27 100644 --- a/src/usr/intr/intrrp.H +++ b/src/usr/intr/intrrp.H @@ -30,6 +30,7 @@ #include <kernel/intmsghandler.H> #include <sys/msg.h> #include <sys/misc.h> +#include <sys/time.h> #include <intr/interrupt.H> #include <map> #include <algorithm> @@ -293,6 +294,14 @@ namespace INTR }; + enum + { + CPU_WAKEUP_SECONDS = 1, + CPU_WAKEUP_INTERVAL_COUNT = 10, + CPU_WAKEUP_INTERVAL_NS = (NS_PER_SEC * CPU_WAKEUP_SECONDS) / + CPU_WAKEUP_INTERVAL_COUNT, + }; + typedef std::map<ext_intr_t,intr_response_t> Registry_t; typedef std::vector<PIR_t> CpuList_t; typedef std::vector<TARGETING::Target *> ChipList_t; @@ -545,6 +554,12 @@ namespace INTR */ static errlHndl_t checkAddress(uint64_t i_addr); + /** + * Background thread to handle if a core doesn't wake up. + * @param[in] _pir - The PIR value (as void*) to check for. + */ + static void* handleCpuTimeout(void* _pir); + }; }; // INTR namespace |
