283 static void iotkit_secctl_ppc_ns_write(IoTKitSecCtlPPC *ppc, uint32_t value)  in iotkit_secctl_ppc_ns_write()  argument
287     ppc->ns = value & MAKE_64BIT_MASK(0, ppc->numports);  in iotkit_secctl_ppc_ns_write()
294 static void iotkit_secctl_ppc_sp_write(IoTKitSecCtlPPC *ppc, uint32_t value)  in iotkit_secctl_ppc_sp_write()  argument
296     ppc->sp = value & MAKE_64BIT_MASK(0, ppc->numports);  in iotkit_secctl_ppc_sp_write()
300 static void iotkit_secctl_ppc_nsp_write(IoTKitSecCtlPPC *ppc, uint32_t value)  in iotkit_secctl_ppc_nsp_write()  argument
302     ppc->nsp = value & MAKE_64BIT_MASK(0, ppc->numports);  in iotkit_secctl_ppc_nsp_write()
308     uint32_t value = ppc->parent->secppcintstat;  in iotkit_secctl_ppc_update_irq_clear()  local
310     qemu_set_irq(ppc->irq_clear, extract32(value, ppc->irq_bit_offset, 1));  in iotkit_secctl_ppc_update_irq_clear()
315     uint32_t value = ppc->parent->secppcinten;  in iotkit_secctl_ppc_update_irq_enable()  local
317     qemu_set_irq(ppc->irq_enable, extract32(value, ppc->irq_bit_offset, 1));  in iotkit_secctl_ppc_update_irq_enable()
320 static void iotkit_secctl_update_mscexp_irqs(qemu_irq *msc_irqs, uint32_t value)  in iotkit_secctl_update_mscexp_irqs()  argument
325         qemu_set_irq(msc_irqs[i], extract32(value, i + 16, 1));  in iotkit_secctl_update_mscexp_irqs()
338                                          uint64_t value,  in iotkit_secctl_s_write()  argument
345     trace_iotkit_secctl_s_write(offset, value, size);  in iotkit_secctl_s_write()
356         s->nsccfg = value & 3;  in iotkit_secctl_s_write()
360         value &= 1;  in iotkit_secctl_s_write()
361         s->secrespcfg = value;  in iotkit_secctl_s_write()
365         s->secppcintstat &= ~(value & 0x00f000f3);  in iotkit_secctl_s_write()
369         s->secppcinten = value & 0x00f000f3;  in iotkit_secctl_s_write()
375         s->brginten = value & 0xffff0000;  in iotkit_secctl_s_write()
382         iotkit_secctl_ppc_ns_write(ppc, value);  in iotkit_secctl_s_write()
387         iotkit_secctl_ppc_ns_write(ppc, value);  in iotkit_secctl_s_write()
394         iotkit_secctl_ppc_ns_write(ppc, value);  in iotkit_secctl_s_write()
401         iotkit_secctl_ppc_sp_write(ppc, value);  in iotkit_secctl_s_write()
406         iotkit_secctl_ppc_sp_write(ppc, value);  in iotkit_secctl_s_write()
413         iotkit_secctl_ppc_sp_write(ppc, value);  in iotkit_secctl_s_write()
416         iotkit_secctl_update_mscexp_irqs(s->mscexp_clear, value);  in iotkit_secctl_s_write()
419         s->secmscinten = value;  in iotkit_secctl_s_write()
423         s->nsmscexp = value;  in iotkit_secctl_s_write()
424         iotkit_secctl_update_mscexp_irqs(s->mscexp_ns, value);  in iotkit_secctl_s_write()
528                                           uint64_t value,  in iotkit_secctl_ns_write()  argument
535     trace_iotkit_secctl_ns_write(offset, value, size);  in iotkit_secctl_ns_write()
550         iotkit_secctl_ppc_nsp_write(ppc, value);  in iotkit_secctl_ns_write()
555         iotkit_secctl_ppc_nsp_write(ppc, value);  in iotkit_secctl_ns_write()
562         iotkit_secctl_ppc_nsp_write(ppc, value);  in iotkit_secctl_ns_write()