H_VPA_DEREG_SLB
return vpa_call(H_VPA_DEREG_SLB, cpu, 0);
case H_VPA_DEREG_SLB: /* deregister SLB shadow buffer */