GitLab

Henning Schild authored Jan 26, 2016 and Philippe Gerum committed Feb 28, 2016

do not include asm/hw_irq.h in asm/desc.h anymore, may cause function/
macro collision on "set_fs" in early printk-code
Signed-off-by: Henning Schild <henning.schild@siemens.com>

This fix enables interrupt pipelining with CONFIG_IRQ_REMAP for
IO_APIC and MSI.

Enabling NO_HZ_IDLE may cause large timeout values to be sent to the
host tick emulation handler implemented by the client domain.

Since we refrain from converting the timeout value to timer ticks but
keep it as a count of nanoseconds for stolen timers, we have to make
sure that such value will still fit in the ->set_next_event()
(unsigned long) argument without overflowing.

Cap the maximum delay value which may be passed to ->set_next_event()
by setting max_delta_ns appropriately in the clockevent definition of
stolen timers.

Gilles Chanteperdrix authored Dec 21, 2015 and Philippe Gerum committed Feb 28, 2016

in FPU handling code

Gilles Chanteperdrix authored Dec 07, 2015 and Philippe Gerum committed Feb 28, 2016

Use the newly added parent hold/release methods.

Gilles Chanteperdrix authored Dec 07, 2015 and Philippe Gerum committed Feb 28, 2016

Use the newly added parent hold/release methods.

Gilles Chanteperdrix authored Dec 07, 2015 and Philippe Gerum committed Feb 28, 2016

Children of an irq chip using the handle_fasteoi_irq handler need a way
to call the irq_hold/irq_release parent chip methods instead of the
irq_mask/irq_unmask irq, as these methods mask the virtual irq thus
causing each interrupt to be masked upon first occurence and never be
unmasked.

A raw output handler (.write_raw) is added to the console descriptor
for writing (short) text output unmodified, without any logging,
header or preparation whatsoever, usable from any domain.

The dedicated raw_printk() variant formats the output message then
passes it on to the handler with hard pipeline lock held, irqs off.

This is a very basic debug channel for situations when resorting to
the fairly complex printk() handling is not an option. Unlike early
consoles, regular consoles can provide a raw output service past the
boot sequence. Raw output handlers are typically provided by serial
console devices.

Those pipeline helpers want remapped IRQ numbers.

Since most ARM platforms implement IRQ domains these days, use
ipipe_handle_domain_irq() for mapping the IRQ number within the
appropriate domain before sending the interrupt to the pipeline.

Replace all invocations of ipipe_handle_multi_irq() by a call to
ipipe_handle_domain_irq() where applicable.