diff options
| author | davidcunado-arm <david.cunado@arm.com> | 2018-02-27 23:24:30 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-27 23:24:30 +0000 |
| commit | b39d2896b3f6e79c98ea781ee20ad639793ae135 (patch) | |
| tree | 81755f1298107f8ed05f10d46fb8171db558242c /docs | |
| parent | ba91a001f8e2ad2f92a7c20270894fcb51365781 (diff) | |
| parent | f2928f5baeb0b3f895bb84a99e54bc52a97908bf (diff) | |
Merge pull request #1283 from jeenu-arm/sdei-fixes
SDEI fixes
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/porting-guide.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/porting-guide.rst b/docs/porting-guide.rst index dbbd102b..3ea95a14 100644 --- a/docs/porting-guide.rst +++ b/docs/porting-guide.rst @@ -2022,9 +2022,9 @@ This macro must be defined to the EL3 exception priority level associated with Critical SDEI events on the platform. This must have a lower value (therefore of higher priority) than ``PLAT_SDEI_NORMAL_PRI``. -It's recommended that SDEI exception priorities in general are assigned the -lowest among Secure priorities. Among the SDEI exceptions, Critical SDEI -priority must be higher than Normal SDEI priority. +**Note**: SDEI exception priorities must be the lowest among Secure priorities. +Among the SDEI exceptions, Critical SDEI priority must be higher than Normal +SDEI priority. Functions ......... |