Diff: drivers/InterruptManager.h

Revision:

189:f392fc9709a3

Parent:

187:0387e8f68319

--- a/drivers/InterruptManager.h	Thu Nov 08 11:46:34 2018 +0000
+++ b/drivers/InterruptManager.h	Wed Feb 20 22:31:08 2019 +0000
@@ -1,5 +1,6 @@
 /* mbed Microcontroller Library
  * Copyright (c) 2006-2013 ARM Limited
+ * SPDX-License-Identifier: Apache-2.0
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -166,6 +167,7 @@
                           "public API of mbed-os and is being removed in the future.")
     bool remove_handler(pFunctionPointer_t handler, IRQn_Type irq);
 
+#if !defined(DOXYGEN_ONLY)
 private:
     InterruptManager();
     ~InterruptManager();
@@ -198,6 +200,7 @@
     CallChain *_chains[NVIC_NUM_VECTORS];
     static InterruptManager *_instance;
     PlatformMutex _mutex;
+#endif
 };
 
 } // namespace mbed