diff options
| author | Heinrich Schuchardt <[email protected]> | 2021-06-10 23:10:52 +0200 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2021-06-28 19:57:13 +0200 |
| commit | 7891fe675d03f2407b040c472ae76050bc88c24e (patch) | |
| tree | 4fb88f9c5595d425d2975ce1a7ab62317d6428de /scripts/basic | |
| parent | 4d8c21da4170e7c1d38c0106898e0d8347b4f0ff (diff) | |
efi_loader: TPL_HIGH_LEVEL not allowed for CreateEvent
According to chapter 7.1 "Event, Timer, and Task Priority Services"
TPL_HIGH_LEVEL should not be exposed to applications and drivers.
According to the discussion with EDK II contributors this implies that
CreateEvent() shall not allow to create events with TPL_HIGH_LEVEL.
Cc: Samer El-Haj-Mahmoud <[email protected]>
Signed-off-by: Heinrich Schuchardt <[email protected]>
Acked-by: Samer El-Haj-Mahmoud <[email protected]>
Diffstat (limited to 'scripts/basic')
0 files changed, 0 insertions, 0 deletions