get_rt
switch (get_rt(rt)) {
switch (get_rt(rt)) {
switch (get_rt(rt)) {
int rt = get_rt(inst);
kvmppc_set_gpr(vcpu, get_rt(inst), arg);
int rt = get_rt(inst);
int rt = get_rt(inst);
rt = get_rt(inst);
rd = get_rt(inst);