Searched defs:gpe_nr (Results 1 – 3 of 3) sorted by relevance
36 pub gpe_nr: u32, field
1240 let gpe_nr = device.set_gpe(resources); in generate_pci_root() localVariable
1317 let gpe_nr = self.gpe; in start_work_thread() localVariable