[Minios-devel] [UNIKRAFT PATCH v4 0/1] plat/common: Split ARM generic timer implementation

[Santiago Pagani <santiago.pagani@xxxxxxxxx>]

Split the ARM generic timer implementation in two files,
such that we reduce code duplication in future platform
specific timer implementation. For example, the
Raspberry Pi 3 will have its own versions of:
- void generic_timer_mask_irq(void)
- void generic_timer_unmask_irq(void)
- uint32_t generic_timer_get_frequency(int fdt_timer __unused)
- void time_block_until(__snsec until)
- void ukplat_time_init(void)
including some SoC specific code.

Changes:
v3->v4:
- Removed clearing of IRQ status bit inside the time IRQ handler
- Removed masking of IRQ after WFI inside generic_timer_cpu_block_until
  as this was preventing the generic timer IRQ handler function from
  being reached
v2->v3:
- Addressed Justin's comments
v1->v2:
- Changed from #ifdef guards to a file split as suggested by Costin

Santiago Pagani (1):
  plat/common: Split ARM generic timer implementation

 plat/common/arm/generic_timer.c | 292 ++++++++++++++++++++++++++++++++
 plat/common/arm/time.c          | 261 +---------------------------
 plat/common/include/arm/time.h  |  10 ++
 plat/kvm/Makefile.uk            |   1 +
 4 files changed, 311 insertions(+), 253 deletions(-)
 create mode 100644 plat/common/arm/generic_timer.c

-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel