-INSTALL_MI_LIST = IOBSD.h IOKitKeys.h IOKitServer.h IOReturn.h\
- IOSharedLock.h IOTypes.h OSMessageNotification.h\
+# Do not install these headers (anywhere).
+NOT_EXPORT_HEADERS = IOInterruptAccountingPrivate.h
+
+# Install these only in Kernel.framework's PrivateHeaders (not Headers).
+NOT_KF_MI_HEADERS = $(NOT_EXPORT_HEADERS) \
+ IOKitKeysPrivate.h IOCPU.h \
+ IOHibernatePrivate.h IOPolledInterface.h \
+ IOCommandQueue.h IOLocksPrivate.h \
+ IOSyncer.h AppleKeyStoreInterface.h \
+ IOStatistics.h IOStatisticsPrivate.h \
+ IOKernelReporters.h \
+ IOInterruptAccounting.h
+
+# These should be additionally installed in IOKit.framework's public Headers
+INSTALL_MI_LIST = IOBSD.h IOKitKeys.h IOKitServer.h IOReturn.h \
+ IOSharedLock.h IOTypes.h OSMessageNotification.h \