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);