From 01a36eedc5ecb4ba26aa57507bb584d117ee3f03 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Fri, 28 Oct 2016 15:56:19 -0500 Subject: c_user: Fix numbered lists. --- c_user/configuring_a_system.rst | 4 ++-- c_user/pci_library.rst | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'c_user') diff --git a/c_user/configuring_a_system.rst b/c_user/configuring_a_system.rst index fdd255a..9c36b2d 100644 --- a/c_user/configuring_a_system.rst +++ b/c_user/configuring_a_system.rst @@ -4127,9 +4127,9 @@ clusters. Clusters with a cardinality of one are partitions. Each cluster is owned by exactly one scheduler instance. In order to use clustered scheduling the application designer has to answer two questions. -# How is the set of processors partitioned into clusters? +#. How is the set of processors partitioned into clusters? -# Which scheduler is used for which cluster? +#. Which scheduler is used for which cluster? **CONFIGURATION:** diff --git a/c_user/pci_library.rst b/c_user/pci_library.rst index 0d95f3e..6bc5988 100644 --- a/c_user/pci_library.rst +++ b/c_user/pci_library.rst @@ -113,11 +113,11 @@ peripherals to access one another using Memory or I/O accesses and that interrupts are properly handled. Three different spaces are defined and mapped separately: -# I/O space (IO) +#. I/O space (IO) -# non-prefetchable Memory space (MEMIO) +#. non-prefetchable Memory space (MEMIO) -# prefetchable Memory space (MEM) +#. prefetchable Memory space (MEM) Regions of the same type (I/O or Memory) may not overlap which is guaranteed by the software. MEM regions may be mapped into MEMIO regions, but MEMIO regions -- cgit v1.2.3