Searched refs:secppcinten (Results 1 – 2 of 2) sorted by relevance
167 r = s->secppcinten; in iotkit_secctl_s_read()315 uint32_t value = ppc->parent->secppcinten; in iotkit_secctl_ppc_update_irq_enable()369 s->secppcinten = value & 0x00f000f3; in iotkit_secctl_s_write()623 s->secppcinten = 0; in iotkit_secctl_reset()798 VMSTATE_UINT32(secppcinten, IoTKitSecCtl),
107 uint32_t secppcinten; member