98     Pegasos2MachineState *pm = PEGASOS2_MACHINE(current_machine);  in pegasos2_cpu_reset()  local
111     Pegasos2MachineState *pm = opaque;  in pegasos2_pci_irq()  local
120     Pegasos2MachineState *pm = PEGASOS2_MACHINE(machine);  in pegasos2_init()  local
276 static uint32_t pegasos2_mv_reg_read(Pegasos2MachineState *pm,  in pegasos2_mv_reg_read()
286 static void pegasos2_mv_reg_write(Pegasos2MachineState *pm, uint32_t addr,  in pegasos2_mv_reg_write()
294 static uint32_t pegasos2_pci_config_read(Pegasos2MachineState *pm, int bus,  in pegasos2_pci_config_read()
307 static void pegasos2_pci_config_write(Pegasos2MachineState *pm, int bus,  in pegasos2_pci_config_write()
324     Pegasos2MachineState *pm = PEGASOS2_MACHINE(machine);  in pegasos2_machine_reset()  local
451 static target_ulong pegasos2_rtas(PowerPCCPU *cpu, Pegasos2MachineState *pm,  in pegasos2_rtas()
554     Pegasos2MachineState *pm = PEGASOS2_MACHINE(vhyp);  in pegasos2_hypercall()  local
872     Pegasos2MachineState *pm = PEGASOS2_MACHINE(machine);  in build_fdt()  local