H_UNSUPPORTED_FLAG_START
return H_UNSUPPORTED_FLAG_START;
return H_UNSUPPORTED_FLAG_START;
return H_UNSUPPORTED_FLAG_START;
return H_UNSUPPORTED_FLAG_START;
kvmppc_set_gpr(vcpu, 3, H_UNSUPPORTED_FLAG_START - 63);
{H_UNSUPPORTED_FLAG_START, "H_UNSUPPORTED_FLAG_START"}, \