inst_sc1 2089 arch/powerpc/kvm/powerpc.c u32 inst_sc1 = 0x44000022; inst_sc1 2090 arch/powerpc/kvm/powerpc.c pvinfo->hcall[0] = cpu_to_be32(inst_sc1);