Searched defs:sel2 (Results 1 – 2 of 2) sorted by relevance
237 int sel2 = vcpu->arch.guest_gprs[1] & 0xffff; in handle_stsi() local
145 static inline int stsi(void *sysinfo, int fc, int sel1, int sel2) in stsi()