[UNIKRAFT PATCH 0/2] plat/{kvm, linuxu}: statically allocate IRQ handlers

[Hugo Lefeuvre <hugo.lefeuvre@xxxxxxxxx>]

IRQ handler entries are currently allocated dynamically. This has two
undesired consequences: (1) this requires the dynamic memory allocator to
be initialized when ukplat_irq_init() is called, which happens quite early,
and (2) this makes the registering of IRQ handlers quite expensive.

Pre-allocate IRQ handles statically. Their number can be configured via a
new config variable.

This patch was initially developed to allow for early IRQ initialization as
part of the early clock initialization patch.

Hugo Lefeuvre (2):
  plat/kvm: do not allocate IRQ handler entries dynamically
  plat/linuxu: do not allocate IRQ handler entries dynamically

 plat/kvm/Config.uk    |  5 ++++
 plat/kvm/irq.c        | 40 ++++++++++++++++--------------
 plat/linuxu/Config.uk |  4 +++
 plat/linuxu/irq.c     | 67 ++++++++++++++++++++++++++++++---------------------
 4 files changed, 70 insertions(+), 46 deletions(-)

-- 
2.7.4