Searched refs:gasket_time (Results 1 – 1 of 1) sorted by relevance
101 uint32_t gasket_time; member184 value = pci->gasket_time; in pci_reg_read4()328 pci->gasket_time = value; in pci_reg_write4()412 VMSTATE_UINT32(gasket_time, PPCE500PCIState),