/* Our global interrupt domain */ staticstruct irq_domain *xive_irq_domain;
#ifdef CONFIG_SMP /* The IPIs use the same logical irq number when on the same chip */ staticstruct xive_ipi_desc { unsignedint irq; char name[16];
atomic_t started;
} *xive_ipis;
/* * Use early_cpu_to_node() for hot-plugged CPUs
*/ staticunsignedint xive_ipi_cpu_to_irq(unsignedint cpu)
{ return xive_ipis[early_cpu_to_node(cpu)].irq;
} #endif
/* Xive state for each CPU */ static DEFINE_PER_CPU(struct xive_cpu *, xive_cpu);
/* An invalid CPU target */ #define XIVE_INVALID_TARGET (-1)
/* * Global toggle to switch on/off StoreEOI
*/ staticbool xive_store_eoi = true;
/* * Read the next entry in a queue, return its content if it's valid * or 0 if there is no new entry. * * The queue pointer is moved forward unless "just_peek" is set
*/ static u32 xive_read_eq(struct xive_q *q, bool just_peek)
{
u32 cur;
if (!q->qpage) return 0;
cur = be32_to_cpup(q->qpage + q->idx);
/* Check valid bit (31) vs current toggle polarity */ if ((cur >> 31) == q->toggle) return 0;
/* If consuming from the queue ... */ if (!just_peek) { /* Next entry */
q->idx = (q->idx + 1) & q->msk;
/* Wrap around: flip valid toggle */ if (q->idx == 0)
q->toggle ^= 1;
} /* Mask out the valid bit (31) */ return cur & 0x7fffffff;
}
/* * Scans all the queue that may have interrupts in them * (based on "pending_prio") in priority order until an * interrupt is found or all the queues are empty. * * Then updates the CPPR (Current Processor Priority * Register) based on the most favored interrupt found * (0xff if none) and return what was found (0 if none). * * If just_peek is set, return the most favored pending * interrupt if any but don't update the queue pointers. * * Note: This function can operate generically on any number * of queues (up to 8). The current implementation of the XIVE * driver only uses a single queue however. * * Note2: This will also "flush" "the pending_count" of a queue * into the "count" when that queue is observed to be empty. * This is used to keep track of the amount of interrupts * targetting a queue. When an interrupt is moved away from * a queue, we only decrement that queue count once the queue * has been observed empty to avoid races.
*/ static u32 xive_scan_interrupts(struct xive_cpu *xc, bool just_peek)
{
u32 irq = 0;
u8 prio = 0;
/* Try to fetch */
irq = xive_read_eq(&xc->queue[prio], just_peek);
/* Found something ? That's it */ if (irq) { if (just_peek || irq_to_desc(irq)) break; /* * We should never get here; if we do then we must * have failed to synchronize the interrupt properly * when shutting it down.
*/
pr_crit("xive: got interrupt %d without descriptor, dropping\n",
irq);
WARN_ON(1); continue;
}
/* * Check if the queue count needs adjusting due to * interrupts being moved away. See description of * xive_dec_target_count()
*/
q = &xc->queue[prio]; if (atomic_read(&q->pending_count)) { int p = atomic_xchg(&q->pending_count, 0); if (p) {
WARN_ON(p > atomic_read(&q->count));
atomic_sub(p, &q->count);
}
}
}
/* If nothing was found, set CPPR to 0xff */ if (irq == 0)
prio = 0xff;
/* Update HW CPPR to match if necessary */ if (prio != xc->cppr) {
DBG_VERBOSE("scan_irq: adjusting CPPR to %d\n", prio);
xc->cppr = prio;
out_8(xive_tima + xive_tima_offset + TM_CPPR, prio);
}
return irq;
}
/* * This is used to perform the magic loads from an ESB * described in xive-regs.h
*/ static notrace u8 xive_esb_read(struct xive_irq_data *xd, u32 offset)
{
u64 val;
if (offset == XIVE_ESB_SET_PQ_10 && xive_is_store_eoi(xd))
offset |= XIVE_ESB_LD_ST_MO;
if ((xd->flags & XIVE_IRQ_FLAG_H_INT_ESB) && xive_ops->esb_rw)
val = xive_ops->esb_rw(xd->hw_irq, offset, 0, 0); else
val = in_be64(xd->eoi_mmio + offset);
/* * This can be called either as a result of a HW interrupt or * as a "replay" because EOI decided there was still something * in one of the queues. * * First we perform an ACK cycle in order to update our mask * of pending priorities. This will also have the effect of * updating the CPPR to the most favored pending interrupts. * * In the future, if we have a way to differentiate a first * entry (on HW interrupt) from a replay triggered by EOI, * we could skip this on replays unless we soft-mask tells us * that a new HW interrupt occurred.
*/
xive_ops->update_pending(xc);
DBG_VERBOSE("get_irq: got irq 0x%x, new pending=0x%02x\n",
irq, xc->pending_prio);
/* Return pending interrupt if any */ if (irq == XIVE_BAD_IRQ) return 0; return irq;
}
/* * After EOI'ing an interrupt, we need to re-check the queue * to see if another interrupt is pending since multiple * interrupts can coalesce into a single notification to the * CPU. * * If we find that there is indeed more in there, we call * force_external_irq_replay() to make Linux synthesize an * external interrupt on the next call to local_irq_restore().
*/ staticvoid xive_do_queue_eoi(struct xive_cpu *xc)
{ if (xive_scan_interrupts(xc, true) != 0) {
DBG_VERBOSE("eoi: pending=0x%02x\n", xc->pending_prio);
force_external_irq_replay();
}
}
/* * EOI an interrupt at the source. There are several methods * to do this depending on the HW version and source type
*/ staticvoid xive_do_source_eoi(struct xive_irq_data *xd)
{
u8 eoi_val;
xd->stale_p = false;
/* If the XIVE supports the new "store EOI facility, use it */ if (xive_is_store_eoi(xd)) {
xive_esb_write(xd, XIVE_ESB_STORE_EOI, 0); return;
}
/* * For LSIs, we use the "EOI cycle" special load rather than * PQ bits, as they are automatically re-triggered in HW when * still pending.
*/ if (xd->flags & XIVE_IRQ_FLAG_LSI) {
xive_esb_read(xd, XIVE_ESB_LOAD_EOI); return;
}
/* * Otherwise, we use the special MMIO that does a clear of * both P and Q and returns the old Q. This allows us to then * do a re-trigger if Q was set rather than synthesizing an * interrupt in software
*/
eoi_val = xive_esb_read(xd, XIVE_ESB_SET_PQ_00);
DBG_VERBOSE("eoi_val=%x\n", eoi_val);
/* Re-trigger if needed */ if ((eoi_val & XIVE_ESB_VAL_Q) && xd->trig_mmio)
out_be64(xd->trig_mmio, 0);
}
/* irq_chip eoi callback, called with irq descriptor lock held */ staticvoid xive_irq_eoi(struct irq_data *d)
{ struct xive_irq_data *xd = irq_data_get_irq_handler_data(d); struct xive_cpu *xc = __this_cpu_read(xive_cpu);
/* * EOI the source if it hasn't been disabled and hasn't * been passed-through to a KVM guest
*/ if (!irqd_irq_disabled(d) && !irqd_is_forwarded_to_vcpu(d) &&
!(xd->flags & XIVE_IRQ_FLAG_NO_EOI))
xive_do_source_eoi(xd); else
xd->stale_p = true;
/* * Clear saved_p to indicate that it's no longer occupying * a queue slot on the target queue
*/
xd->saved_p = false;
/* Check for more work in the queue */
xive_do_queue_eoi(xc);
}
/* * Helper used to mask and unmask an interrupt source.
*/ staticvoid xive_do_source_set_mask(struct xive_irq_data *xd, bool mask)
{
u64 val;
/* * If the interrupt had P set, it may be in a queue. * * We need to make sure we don't re-enable it until it * has been fetched from that queue and EOId. We keep * a copy of that P state and use it to restore the * ESB accordingly on unmask.
*/ if (mask) {
val = xive_esb_read(xd, XIVE_ESB_SET_PQ_01); if (!xd->stale_p && !!(val & XIVE_ESB_VAL_P))
xd->saved_p = true;
xd->stale_p = false;
} elseif (xd->saved_p) {
xive_esb_read(xd, XIVE_ESB_SET_PQ_10);
xd->saved_p = false;
} else {
xive_esb_read(xd, XIVE_ESB_SET_PQ_00);
xd->stale_p = false;
}
}
/* * Try to chose "cpu" as a new interrupt target. Increments * the queue accounting for that target if it's not already * full.
*/ staticbool xive_try_pick_target(int cpu)
{ struct xive_cpu *xc = per_cpu(xive_cpu, cpu); struct xive_q *q = &xc->queue[xive_irq_priority]; int max;
/* * Calculate max number of interrupts in that queue. * * We leave a gap of 1 just in case...
*/
max = (q->msk + 1) - 1; return !!atomic_add_unless(&q->count, 1, max);
}
/* * Un-account an interrupt for a target CPU. We don't directly * decrement q->count since the interrupt might still be present * in the queue. * * Instead increment a separate counter "pending_count" which * will be substracted from "count" later when that CPU observes * the queue to be empty.
*/ staticvoid xive_dec_target_count(int cpu)
{ struct xive_cpu *xc = per_cpu(xive_cpu, cpu); struct xive_q *q = &xc->queue[xive_irq_priority];
/* * We increment the "pending count" which will be used * to decrement the target queue count whenever it's next * processed and found empty. This ensure that we don't * decrement while we still have the interrupt there * occupying a slot.
*/
atomic_inc(&q->pending_count);
}
/* Find a tentative CPU target in a CPU mask */ staticint xive_find_target_in_mask(conststruct cpumask *mask, unsignedint fuzz)
{ int cpu, first, num, i;
/* Pick up a starting point CPU in the mask based on fuzz */
num = min_t(int, cpumask_weight(mask), nr_cpu_ids);
first = fuzz % num;
/* Locate it */
cpu = cpumask_first(mask); for (i = 0; i < first && cpu < nr_cpu_ids; i++)
cpu = cpumask_next(cpu, mask);
/* Sanity check */ if (WARN_ON(cpu >= nr_cpu_ids))
cpu = cpumask_first(cpu_online_mask);
/* Remember first one to handle wrap-around */
first = cpu;
/* * Now go through the entire mask until we find a valid * target.
*/ do { /* * We re-check online as the fallback case passes us * an untested affinity mask
*/ if (cpu_online(cpu) && xive_try_pick_target(cpu)) return cpu;
cpu = cpumask_next(cpu, mask); /* Wrap around */ if (cpu >= nr_cpu_ids)
cpu = cpumask_first(mask);
} while (cpu != first);
return -1;
}
/* * Pick a target CPU for an interrupt. This is done at * startup or if the affinity is changed in a way that * invalidates the current target.
*/ staticint xive_pick_irq_target(struct irq_data *d, conststruct cpumask *affinity)
{ staticunsignedint fuzz; struct xive_irq_data *xd = irq_data_get_irq_handler_data(d);
cpumask_var_t mask; int cpu = -1;
/* * If we have chip IDs, first we try to build a mask of * CPUs matching the CPU and find a target in there
*/ if (xd->src_chip != XIVE_INVALID_CHIP_ID &&
zalloc_cpumask_var(&mask, GFP_ATOMIC)) { /* Build a mask of matching chip IDs */
for_each_cpu_and(cpu, affinity, cpu_online_mask) { struct xive_cpu *xc = per_cpu(xive_cpu, cpu); if (xc->chip_id == xd->src_chip)
cpumask_set_cpu(cpu, mask);
} /* Try to find a target */ if (cpumask_empty(mask))
cpu = -1; else
cpu = xive_find_target_in_mask(mask, fuzz++);
free_cpumask_var(mask); if (cpu >= 0) return cpu;
fuzz--;
}
/* No chip IDs, fallback to using the affinity mask */ return xive_find_target_in_mask(affinity, fuzz++);
}
/* * Configure the logical number to be the Linux IRQ number * and set the target queue
*/
rc = xive_ops->configure_irq(hw_irq,
get_hard_smp_processor_id(target),
xive_irq_priority, d->irq); if (rc) return rc;
/* Unmask the ESB */
xive_do_source_set_mask(xd, false);
return 0;
}
/* called with irq descriptor lock held */ staticvoid xive_irq_shutdown(struct irq_data *d)
{ struct xive_irq_data *xd = irq_data_get_irq_handler_data(d); unsignedint hw_irq = (unsignedint)irqd_to_hwirq(d);
pr_debug("%s: irq %d [0x%x] data @%p\n", __func__, d->irq, hw_irq, d);
if (WARN_ON(xd->target == XIVE_INVALID_TARGET)) return;
/* Mask the interrupt at the source */
xive_do_source_set_mask(xd, true);
/* * Mask the interrupt in HW in the IVT/EAS and set the number * to be the "bad" IRQ number
*/
xive_ops->configure_irq(hw_irq,
get_hard_smp_processor_id(xd->target),
0xff, XIVE_BAD_IRQ);
/* Is this valid ? */ if (!cpumask_intersects(cpumask, cpu_online_mask)) return -EINVAL;
/* * If existing target is already in the new mask, and is * online then do nothing.
*/ if (xd->target != XIVE_INVALID_TARGET &&
cpu_online(xd->target) &&
cpumask_test_cpu(xd->target, cpumask)) return IRQ_SET_MASK_OK;
/* Pick a new target */
target = xive_pick_irq_target(d, cpumask);
/* No target found */ if (target == XIVE_INVALID_TARGET) return -ENXIO;
/* * Only configure the irq if it's not currently passed-through to * a KVM guest
*/ if (!irqd_is_forwarded_to_vcpu(d))
rc = xive_ops->configure_irq(hw_irq,
get_hard_smp_processor_id(target),
xive_irq_priority, d->irq); if (rc < 0) {
pr_err("Error %d reconfiguring irq %d\n", rc, d->irq); return rc;
}
/* * We only support these. This has really no effect other than setting * the corresponding descriptor bits mind you but those will in turn * affect the resend function when re-enabling an edge interrupt. * * Set the default to edge as explained in map().
*/ if (flow_type == IRQ_TYPE_DEFAULT || flow_type == IRQ_TYPE_NONE)
flow_type = IRQ_TYPE_EDGE_RISING;
if (flow_type != IRQ_TYPE_EDGE_RISING &&
flow_type != IRQ_TYPE_LEVEL_LOW) return -EINVAL;
irqd_set_trigger_type(d, flow_type);
/* * Double check it matches what the FW thinks * * NOTE: We don't know yet if the PAPR interface will provide * the LSI vs MSI information apart from the device-tree so * this check might have to move into an optional backend call * that is specific to the native backend
*/ if ((flow_type == IRQ_TYPE_LEVEL_LOW) !=
!!(xd->flags & XIVE_IRQ_FLAG_LSI)) {
pr_warn("Interrupt %d (HW 0x%x) type mismatch, Linux says %s, FW says %s\n",
d->irq, (u32)irqd_to_hwirq(d),
(flow_type == IRQ_TYPE_LEVEL_LOW) ? "Level" : "Edge",
(xd->flags & XIVE_IRQ_FLAG_LSI) ? "Level" : "Edge");
}
/* This should be only for MSIs */ if (WARN_ON(xd->flags & XIVE_IRQ_FLAG_LSI)) return 0;
/* * To perform a retrigger, we first set the PQ bits to * 11, then perform an EOI.
*/
xive_esb_read(xd, XIVE_ESB_SET_PQ_11);
xive_do_source_eoi(xd);
return 1;
}
/* * Caller holds the irq descriptor lock, so this won't be called * concurrently with xive_get_irqchip_state on the same interrupt.
*/ staticint xive_irq_set_vcpu_affinity(struct irq_data *d, void *state)
{ struct xive_irq_data *xd = irq_data_get_irq_handler_data(d); unsignedint hw_irq = (unsignedint)irqd_to_hwirq(d); int rc;
u8 pq;
/* * This is called by KVM with state non-NULL for enabling * pass-through or NULL for disabling it
*/ if (state) {
irqd_set_forwarded_to_vcpu(d);
/* Set it to PQ=10 state to prevent further sends */
pq = xive_esb_read(xd, XIVE_ESB_SET_PQ_10); if (!xd->stale_p) {
xd->saved_p = !!(pq & XIVE_ESB_VAL_P);
xd->stale_p = !xd->saved_p;
}
/* No target ? nothing to do */ if (xd->target == XIVE_INVALID_TARGET) { /* * An untargetted interrupt should have been * also masked at the source
*/
WARN_ON(xd->saved_p);
return 0;
}
/* * If P was set, adjust state to PQ=11 to indicate * that a resend is needed for the interrupt to reach * the guest. Also remember the value of P. * * This also tells us that it's in flight to a host queue * or has already been fetched but hasn't been EOIed yet * by the host. Thus it's potentially using up a host * queue slot. This is important to know because as long * as this is the case, we must not hard-unmask it when * "returning" that interrupt to the host. * * This saved_p is cleared by the host EOI, when we know * for sure the queue slot is no longer in use.
*/ if (xd->saved_p) {
xive_esb_read(xd, XIVE_ESB_SET_PQ_11);
/* * Sync the XIVE source HW to ensure the interrupt * has gone through the EAS before we change its * target to the guest. That should guarantee us * that we *will* eventually get an EOI for it on * the host. Otherwise there would be a small window * for P to be seen here but the interrupt going * to the guest queue.
*/ if (xive_ops->sync_source)
xive_ops->sync_source(hw_irq);
}
} else {
irqd_clr_forwarded_to_vcpu(d);
/* No host target ? hard mask and return */ if (xd->target == XIVE_INVALID_TARGET) {
xive_do_source_set_mask(xd, true); return 0;
}
/* * Sync the XIVE source HW to ensure the interrupt * has gone through the EAS before we change its * target to the host.
*/ if (xive_ops->sync_source)
xive_ops->sync_source(hw_irq);
/* * By convention we are called with the interrupt in * a PQ=10 or PQ=11 state, ie, it won't fire and will * have latched in Q whether there's a pending HW * interrupt or not. * * First reconfigure the target.
*/
rc = xive_ops->configure_irq(hw_irq,
get_hard_smp_processor_id(xd->target),
xive_irq_priority, d->irq); if (rc) return rc;
/* * Then if saved_p is not set, effectively re-enable the * interrupt with an EOI. If it is set, we know there is * still a message in a host queue somewhere that will be * EOId eventually. * * Note: We don't check irqd_irq_disabled(). Effectively, * we *will* let the irq get through even if masked if the * HW is still firing it in order to deal with the whole * saved_p business properly. If the interrupt triggers * while masked, the generic code will re-mask it anyway.
*/ if (!xd->saved_p)
xive_do_source_eoi(xd);
switch (which) { case IRQCHIP_STATE_ACTIVE:
pq = xive_esb_read(xd, XIVE_ESB_GET);
/* * The esb value being all 1's means we couldn't get * the PQ state of the interrupt through mmio. It may * happen, for example when querying a PHB interrupt * while the PHB is in an error state. We consider the * interrupt to be inactive in that case.
*/
*state = (pq != XIVE_ESB_INVALID) && !xd->stale_p &&
(xd->saved_p || (!!(pq & XIVE_ESB_VAL_P) &&
!irqd_irq_disabled(data))); return 0; default: return -EINVAL;
}
}
/* * Turn OFF by default the interrupt being mapped. A side * effect of this check is the mapping the ESB page of the * interrupt in the Linux address space. This prevents page * fault issues in the crash handler which masks all * interrupts.
*/
xive_esb_read(xd, XIVE_ESB_SET_PQ_01);
staticvoid xive_ipi_do_nothing(struct irq_data *d)
{ /* * Nothing to do, we never mask/unmask IPIs, but the callback * has to exist for the struct irq_chip.
*/
}
/* * IPIs are marked per-cpu. We use separate HW interrupts under the * hood but associated with the same "linux" interrupt
*/ struct xive_ipi_alloc_info {
irq_hw_number_t hwirq;
};
for (i = 0; i < nr_irqs; i++) {
irq_domain_set_info(domain, virq + i, info->hwirq + i, &xive_ipi_chip,
domain->host_data, handle_percpu_irq,
NULL, NULL);
} return 0;
}
/* * Map one IPI interrupt per node for all cpus of that node. * Since the HW interrupt number doesn't have any meaning, * simply use the node number.
*/
ret = irq_domain_alloc_irqs(ipi_domain, 1, node, &info); if (ret < 0) goto out_free_xive_ipis;
xid->irq = ret;
/* Check if we are already setup */ if (xc->hw_ipi != XIVE_BAD_IRQ) return 0;
/* Register the IPI */
xive_request_ipi(cpu);
/* Grab an IPI from the backend, this will populate xc->hw_ipi */ if (xive_ops->get_ipi(cpu, xc)) return -EIO;
/* * Populate the IRQ data in the xive_cpu structure and * configure the HW / enable the IPIs.
*/
rc = xive_ops->populate_irq_data(xc->hw_ipi, &xc->ipi_data); if (rc) {
pr_err("Failed to populate IPI data on CPU %d\n", cpu); return -EIO;
}
rc = xive_ops->configure_irq(xc->hw_ipi,
get_hard_smp_processor_id(cpu),
xive_irq_priority, xive_ipi_irq); if (rc) {
pr_err("Failed to map IPI CPU %d\n", cpu); return -EIO;
}
pr_debug("CPU %d HW IPI 0x%x, virq %d, trig_mmio=%p\n", cpu,
xc->hw_ipi, xive_ipi_irq, xc->ipi_data.trig_mmio);
/* Unmask it */
xive_do_source_set_mask(&xc->ipi_data, false);
/* Already cleaned up ? */ if (xc->hw_ipi == XIVE_BAD_IRQ) return;
/* TODO: clear IPI mapping */
/* Mask the IPI */
xive_do_source_set_mask(&xc->ipi_data, true);
/* * Note: We don't call xive_cleanup_irq_data() to free * the mappings as this is called from an IPI on kexec * which is not a safe environment to call iounmap()
*/
/* Deconfigure/mask in the backend */
xive_ops->configure_irq(xc->hw_ipi, hard_smp_processor_id(),
0xff, xive_ipi_irq);
/* Free the IPIs in the backend */
xive_ops->put_ipi(cpu, xc);
}
/* * Mark interrupts as edge sensitive by default so that resend * actually works. Will fix that up below if needed.
*/
irq_clear_status_flags(virq, IRQ_LEVEL);
rc = xive_irq_alloc_data(virq, hw); if (rc) return rc;
/* * If intsize is at least 2, we look for the type in the second cell, * we assume the LSB indicates a level interrupt.
*/ if (intsize > 1) { if (intspec[1] & 1)
*out_flags = IRQ_TYPE_LEVEL_LOW; else
*out_flags = IRQ_TYPE_EDGE_RISING;
} else
*out_flags = IRQ_TYPE_LEVEL_LOW;
for (i = 0; i < nr_irqs; i++) { /* TODO: call xive_irq_domain_map() */
/* * Mark interrupts as edge sensitive by default so that resend * actually works. Will fix that up below if needed.
*/
irq_clear_status_flags(virq, IRQ_LEVEL);
/* allocates and sets handler data */
rc = xive_irq_alloc_data(virq + i, hwirq + i); if (rc) return rc;
irq_domain_set_hwirq_and_chip(domain, virq + i, hwirq + i,
&xive_irq_chip, domain->host_data);
irq_set_handler(virq + i, handle_fasteoi_irq);
}
/* We assume local irqs are disabled */
WARN_ON(!irqs_disabled());
/* Check what's already in the CPU queue */ while ((irq = xive_scan_interrupts(xc, false)) != 0) { /* * We need to re-route that interrupt to its new destination. * First get and lock the descriptor
*/ struct irq_desc *desc = irq_to_desc(irq); struct irq_data *d = irq_desc_get_irq_data(desc); struct xive_irq_data *xd;
/* * Ignore anything that isn't a XIVE irq and ignore * IPIs, so can just be dropped.
*/ if (d->domain != xive_irq_domain) continue;
/* * The IRQ should have already been re-routed, it's just a * stale in the old queue, so re-trigger it in order to make * it reach is new destination.
*/ #ifdef DEBUG_FLUSH
pr_info("CPU %d: Got irq %d while offline, re-sending...\n",
cpu, irq); #endif
raw_spin_lock(&desc->lock);
xd = irq_desc_get_handler_data(desc);
/* * Clear saved_p to indicate that it's no longer pending
*/
xd->saved_p = false;
/* * For LSIs, we EOI, this will cause a resend if it's * still asserted. Otherwise do an MSI retrigger.
*/ if (xd->flags & XIVE_IRQ_FLAG_LSI)
xive_do_source_eoi(xd); else
xive_irq_retrigger(d);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.