efi_loader: implement event queue
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Wed, 5 Jun 2019 19:00:39 +0000 (21:00 +0200)
committerHeinrich Schuchardt <xypron.glpk@gmx.de>
Mon, 10 Jun 2019 21:06:19 +0000 (23:06 +0200)
commit7a69e97ba42a93e33dccfe715a8522754117a715
tree24673b58a8c5ace6495f9d41fdf231c036bcf499
parent1e37be5e20f42bbffcb633a268d46c038846a603
efi_loader: implement event queue

Up to now we have only been using a flag queued for events. But this does
not satisfy the requirements of the UEFI spec. Events must be notified in
the sequence of decreasing TPL level and within a TPL level in the sequence
of signaling.

Implement a queue for signaled events.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
include/efi_loader.h
lib/efi_loader/efi_boottime.c