GitLab

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.

Gilles Chanteperdrix authored Nov 27, 2015 and Philippe Gerum committed Feb 28, 2016

when multiple tsc are registered