267 static void iotkit_secctl_update_ppc_ap(IoTKitSecCtlPPC *ppc)  in iotkit_secctl_update_ppc_ap()
283 static void iotkit_secctl_ppc_ns_write(IoTKitSecCtlPPC *ppc, uint32_t value)  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()
300 static void iotkit_secctl_ppc_nsp_write(IoTKitSecCtlPPC *ppc, uint32_t value)  in iotkit_secctl_ppc_nsp_write()
306 static void iotkit_secctl_ppc_update_irq_clear(IoTKitSecCtlPPC *ppc)  in iotkit_secctl_ppc_update_irq_clear()
313 static void iotkit_secctl_ppc_update_irq_enable(IoTKitSecCtlPPC *ppc)  in iotkit_secctl_ppc_update_irq_enable()
343     IoTKitSecCtlPPC *ppc;  in iotkit_secctl_s_write()  local
533     IoTKitSecCtlPPC *ppc;  in iotkit_secctl_ns_write()  local
611 static void iotkit_secctl_reset_ppc(IoTKitSecCtlPPC *ppc)  in iotkit_secctl_reset_ppc()
655     IoTKitSecCtlPPC *ppc = opaque;  in iotkit_secctl_ppc_irqstatus()  local
663                                    IoTKitSecCtlPPC *ppc,  in iotkit_secctl_init_ppc()
706         IoTKitSecCtlPPC *ppc = &s->apbexp[i];  in iotkit_secctl_init()  local
712         IoTKitSecCtlPPC *ppc = &s->ahbexp[i];  in iotkit_secctl_init()  local