6 files changed, 150 insertions, 0 deletions
diff --git a/spec/score/if/assert-unreachable.yml b/spec/score/if/assert-unreachable.yml
new file mode 100644
index 00000000..849ddf23
--- /dev/null
+++ b/spec/score/if/assert-unreachable.yml
@@ -0,0 +1,26 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: |
+  Asserts that this program point is unreachable.
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+definition:
+  default: |
+    do { } while ( 0 )
+  variants:
+  - definition: |
+      _Assert( 0 )
+    enabled-by:
+    - defined(${/build-options/if/debug:/name})
+description: null
+enabled-by: true
+interface-type: macro
+links:
+- role: interface-placement
+  uid: /rtems/basedefs/if/header
+name: _Assert_Unreachable
+notes: null
+params: []
+return:
+  return: null
+  return-values: []
+type: interface
diff --git a/spec/score/if/dequalify-types-not-compatible.yml b/spec/score/if/dequalify-types-not-compatible.yml
new file mode 100644
index 00000000..7d516a3f
--- /dev/null
+++ b/spec/score/if/dequalify-types-not-compatible.yml
@@ -0,0 +1,34 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: |
+  A not implemented function to trigger compile time errors with an error
+  message.
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2014 Paval Pisa
+definition:
+  default:
+    body: null
+    params: []
+    return: void *
+  variants:
+  - definition:
+      body: null
+      params: []
+      return: __attribute__((__error__("RTEMS_DEQUALIFY() types differ not only by
+        volatile and const"))) void *
+    enabled-by:
+    - defined(${/compiler/if/gnuc:/name})
+description: null
+enabled-by:
+  not: ASM
+interface-type: function
+links:
+- role: interface-placement
+  uid: /rtems/basedefs/if/header
+name: RTEMS_DEQUALIFY_types_not_compatible
+notes: null
+params: []
+return:
+  return: null
+  return-values: []
+type: interface
diff --git a/spec/score/if/domain.yml b/spec/score/if/domain.yml
new file mode 100644
index 00000000..eebf7f4c
--- /dev/null
+++ b/spec/score/if/domain.yml
@@ -0,0 +1,10 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+description: |
+  This interface domain contains the implementation of the system.
+enabled-by: true
+interface-type: domain
+links: []
+name: Implementation
+type: interface
diff --git a/spec/score/if/maximum-priority.yml b/spec/score/if/maximum-priority.yml
new file mode 100644
index 00000000..a2f119d6
--- /dev/null
+++ b/spec/score/if/maximum-priority.yml
@@ -0,0 +1,24 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: |
+  Returns the maximum priority of the scheduler with index zero.
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+definition:
+  default:
+    body: null
+    params: []
+    return: ${/rtems/task/if/priority:/name}
+  variants: []
+description: null
+enabled-by: true
+interface-type: function
+links:
+- role: interface-placement
+  uid: /rtems/task/if/header
+name: _RTEMS_Maximum_priority
+notes: null
+params: []
+return:
+  return: null
+  return-values: []
+type: interface
diff --git a/spec/score/if/tod-to-seconds.yml b/spec/score/if/tod-to-seconds.yml
new file mode 100644
index 00000000..ae32a2e0
--- /dev/null
+++ b/spec/score/if/tod-to-seconds.yml
@@ -0,0 +1,28 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: '%'
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
+definition:
+  default:
+    body: null
+    params:
+    - const ${/rtems/type/if/time-of-day:/name} *${.:/params[0]/name}
+    return: ${../watchdog/if/interval:/name}
+  variants: []
+description: null
+enabled-by: true
+interface-type: function
+links:
+- role: interface-placement
+  uid: /rtems/clock/if/header
+name: _TOD_To_seconds
+notes: null
+params:
+- description: '%'
+  dir: null
+  name: the_tod
+return:
+  return: null
+  return-values: []
+type: interface
diff --git a/spec/score/if/tod-validate.yml b/spec/score/if/tod-validate.yml
new file mode 100644
index 00000000..aa3f6c42
--- /dev/null
+++ b/spec/score/if/tod-validate.yml
@@ -0,0 +1,28 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: '%'
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
+definition:
+  default:
+    body: null
+    params:
+    - const ${/rtems/type/if/time-of-day:/name} *${.:/params[0]/name}
+    return: ${/c/if/bool:/name}
+  variants: []
+description: null
+enabled-by: true
+interface-type: function
+links:
+- role: interface-placement
+  uid: /rtems/clock/if/header
+name: _TOD_Validate
+notes: null
+params:
+- description: '%'
+  dir: null
+  name: the_tod
+return:
+  return: null
+  return-values: []
+type: interface