Miscellaneous doc fixes/enhancements

Change-Id: I915303cea787d9fb188428b98ac6cfc610cc4470
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
This commit is contained in:
Sandrine Bailleux 2019-02-08 10:50:28 +01:00
parent 9aa6b6371f
commit 337e2f1f2b
4 changed files with 14 additions and 15 deletions

View File

@ -720,7 +720,7 @@ Example: the BL31 Chain of Trust
Four image descriptors form the BL31 Chain of Trust: Four image descriptors form the BL31 Chain of Trust:
.. code:: asm .. code:: c
[TRUSTED_KEY_CERT_ID] = { [TRUSTED_KEY_CERT_ID] = {
.img_id = TRUSTED_KEY_CERT_ID, .img_id = TRUSTED_KEY_CERT_ID,

View File

@ -85,7 +85,7 @@ file names; this type of name reuse should be otherwise avoided.
#include "./a_header.h" #include "./a_header.h"
Include statement variants Include statement variants
^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^
Two variants of the ``#include`` directive are acceptable in the TF codebase. Two variants of the ``#include`` directive are acceptable in the TF codebase.
Correct use of the two styles improves readability by suggesting the location Correct use of the two styles improves readability by suggesting the location
@ -125,7 +125,7 @@ Types and typedefs
------------------ ------------------
Use of built-in *C* and *libc* data types Use of built-in *C* and *libc* data types
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The TF codebase should be kept as portable as possible, especially since both The TF codebase should be kept as portable as possible, especially since both
64-bit and 32-bit platforms are supported. To help with this, the following data 64-bit and 32-bit platforms are supported. To help with this, the following data
@ -214,9 +214,8 @@ type usage guidelines should be followed:
u_register_t arg7; u_register_t arg7;
} aapcs64_params_t; } aapcs64_params_t;
If some code wants to operate on ``arg0`` and knows that it represents a 32-bit
If some code wants to operate on ``arg0`` and knows that it represents a unsigned integer on all systems, cast it to ``unsigned int``.
32-bit unsigned integer on all systems, cast it to ``unsigned int``.
These guidelines should be updated if additional types are needed. These guidelines should be updated if additional types are needed.

View File

@ -2343,18 +2343,18 @@ A publisher that wants to publish event ``foo`` would:
A subscriber that wants to subscribe to event ``foo`` published above would A subscriber that wants to subscribe to event ``foo`` published above would
implement: implement:
:: .. code:: c
void *foo_handler(const void *arg) void *foo_handler(const void *arg)
{ {
void *result; void *result;
/* Do handling ... */ /* Do handling ... */
return result; return result;
} }
SUBSCRIBE_TO_EVENT(foo, foo_handler); SUBSCRIBE_TO_EVENT(foo, foo_handler);
Reclaiming the BL31 initialization code Reclaiming the BL31 initialization code

View File

@ -575,7 +575,7 @@ Common build options
1 (do save and restore). 0 is the default. An SPD may set this to 1 if it 1 (do save and restore). 0 is the default. An SPD may set this to 1 if it
wants the timer registers to be saved and restored. wants the timer registers to be saved and restored.
- ``OVERRIDE_LIBC``: This option allows platforms to override the default libc - ``OVERRIDE_LIBC``: This option allows platforms to override the default libc
for the BL image. It can be either 0 (include) or 1 (remove). The default for the BL image. It can be either 0 (include) or 1 (remove). The default
value is 0. value is 0.