sun4v_ldc_revoke
unsigned long sun4v_ldc_revoke(unsigned long channel,
sun4v_ldc_revoke(id, cookie + (i << shift),