aboutsummaryrefslogtreecommitdiffstats
path: root/os
diff options
context:
space:
mode:
authorgdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2012-01-09 19:43:26 +0000
committergdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>2012-01-09 19:43:26 +0000
commite9e6cdc67c77040502ff3ad85c3d5857fef16522 (patch)
tree93259cf426796f9e3d93a8ee11d5c69fd3ea29f4 /os
parenta2708c091beb3331967dff2af9a9232744427de4 (diff)
downloadChibiOS-e9e6cdc67c77040502ff3ad85c3d5857fef16522.tar.gz
ChibiOS-e9e6cdc67c77040502ff3ad85c3d5857fef16522.tar.bz2
ChibiOS-e9e6cdc67c77040502ff3ad85c3d5857fef16522.zip
Added macro HAL_IMPLEMENTS_COUNTERS to all HAL driver implementations.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3778 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os')
-rw-r--r--os/hal/platforms/AT91SAM7/hal_lld.h5
-rw-r--r--os/hal/platforms/AVR/hal_lld.h5
-rw-r--r--os/hal/platforms/LPC11xx/hal_lld.h5
-rw-r--r--os/hal/platforms/LPC13xx/hal_lld.h5
-rw-r--r--os/hal/platforms/LPC214x/hal_lld.h5
-rw-r--r--os/hal/platforms/MSP430/hal_lld.h5
-rw-r--r--os/hal/platforms/Posix/hal_lld.h5
-rw-r--r--os/hal/platforms/SPC56x/hal_lld.h5
-rw-r--r--os/hal/platforms/STM8L/hal_lld.h5
-rw-r--r--os/hal/platforms/STM8S/hal_lld.h5
-rw-r--r--os/hal/platforms/Win32/hal_lld.h5
11 files changed, 55 insertions, 0 deletions
diff --git a/os/hal/platforms/AT91SAM7/hal_lld.h b/os/hal/platforms/AT91SAM7/hal_lld.h
index e40cc533f..9092142af 100644
--- a/os/hal/platforms/AT91SAM7/hal_lld.h
+++ b/os/hal/platforms/AT91SAM7/hal_lld.h
@@ -37,6 +37,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "AT91SAM7x"
diff --git a/os/hal/platforms/AVR/hal_lld.h b/os/hal/platforms/AVR/hal_lld.h
index c3d65f167..13bc7dc41 100644
--- a/os/hal/platforms/AVR/hal_lld.h
+++ b/os/hal/platforms/AVR/hal_lld.h
@@ -34,6 +34,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "ATmega128"
diff --git a/os/hal/platforms/LPC11xx/hal_lld.h b/os/hal/platforms/LPC11xx/hal_lld.h
index 267ce9105..7913fd304 100644
--- a/os/hal/platforms/LPC11xx/hal_lld.h
+++ b/os/hal/platforms/LPC11xx/hal_lld.h
@@ -37,6 +37,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "LPC11xx"
diff --git a/os/hal/platforms/LPC13xx/hal_lld.h b/os/hal/platforms/LPC13xx/hal_lld.h
index 0f6b1f611..480c54a73 100644
--- a/os/hal/platforms/LPC13xx/hal_lld.h
+++ b/os/hal/platforms/LPC13xx/hal_lld.h
@@ -37,6 +37,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "LPC13xx"
diff --git a/os/hal/platforms/LPC214x/hal_lld.h b/os/hal/platforms/LPC214x/hal_lld.h
index 70349ae30..942cd2ec8 100644
--- a/os/hal/platforms/LPC214x/hal_lld.h
+++ b/os/hal/platforms/LPC214x/hal_lld.h
@@ -37,6 +37,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "LPC214x"
diff --git a/os/hal/platforms/MSP430/hal_lld.h b/os/hal/platforms/MSP430/hal_lld.h
index c2c23342f..8eae96a3d 100644
--- a/os/hal/platforms/MSP430/hal_lld.h
+++ b/os/hal/platforms/MSP430/hal_lld.h
@@ -36,6 +36,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "MSP430x16x"
diff --git a/os/hal/platforms/Posix/hal_lld.h b/os/hal/platforms/Posix/hal_lld.h
index 192f7fefc..850d180e4 100644
--- a/os/hal/platforms/Posix/hal_lld.h
+++ b/os/hal/platforms/Posix/hal_lld.h
@@ -38,6 +38,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "Linux"
diff --git a/os/hal/platforms/SPC56x/hal_lld.h b/os/hal/platforms/SPC56x/hal_lld.h
index 48b12b19d..20696b7ab 100644
--- a/os/hal/platforms/SPC56x/hal_lld.h
+++ b/os/hal/platforms/SPC56x/hal_lld.h
@@ -36,6 +36,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "SPC563M64"
diff --git a/os/hal/platforms/STM8L/hal_lld.h b/os/hal/platforms/STM8L/hal_lld.h
index 159bd0c71..4ea47b4ee 100644
--- a/os/hal/platforms/STM8L/hal_lld.h
+++ b/os/hal/platforms/STM8L/hal_lld.h
@@ -62,6 +62,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "STM8L"
diff --git a/os/hal/platforms/STM8S/hal_lld.h b/os/hal/platforms/STM8S/hal_lld.h
index a57da439a..3f7c8af39 100644
--- a/os/hal/platforms/STM8S/hal_lld.h
+++ b/os/hal/platforms/STM8S/hal_lld.h
@@ -58,6 +58,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "STM8S"
diff --git a/os/hal/platforms/Win32/hal_lld.h b/os/hal/platforms/Win32/hal_lld.h
index fbeeaa61e..b9fb947e1 100644
--- a/os/hal/platforms/Win32/hal_lld.h
+++ b/os/hal/platforms/Win32/hal_lld.h
@@ -37,6 +37,11 @@
/*===========================================================================*/
/**
+ * @brief Defines the support for realtime counters in the HAL.
+ */
+#define HAL_IMPLEMENTS_COUNTERS FALSE
+
+/**
* @brief Platform name.
*/
#define PLATFORM_NAME "Win32"
> 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718
/**CFile****************************************************************

  FileName    [abcCheck.c]

  SystemName  [ABC: Logic synthesis and verification system.]

  PackageName [Network and node package.]

  Synopsis    [Consistency checking procedures.]

  Author      [Alan Mishchenko]
  
  Affiliation [UC Berkeley]

  Date        [Ver. 1.0. Started - June 20, 2005.]

  Revision    [$Id: abcCheck.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]

***********************************************************************/

#include "abc.h"
#include "main.h"
#include "seq.h"

////////////////////////////////////////////////////////////////////////
///                        DECLARATIONS                              ///
////////////////////////////////////////////////////////////////////////

static bool Abc_NtkCheckNames( Abc_Ntk_t * pNtk );
static bool Abc_NtkCheckPis( Abc_Ntk_t * pNtk );
static bool Abc_NtkCheckPos( Abc_Ntk_t * pNtk );
//static bool Abc_NtkCheckObj( Abc_Ntk_t * pNtk, Abc_Obj_t * pObj );
static bool Abc_NtkCheckNet( Abc_Ntk_t * pNtk, Abc_Obj_t * pNet );
static bool Abc_NtkCheckNode( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode );
static bool Abc_NtkCheckLatch( Abc_Ntk_t * pNtk, Abc_Obj_t * pLatch );