kvmppc_gsb_paddress
cfg->vcpu_run_output_cfg.address = kvmppc_gsb_paddress(vcpu_run_output);
cfg->vcpu_run_input_cfg.address = kvmppc_gsb_paddress(vcpu_run_input);