SV_COUNTER
klp_shadow_free_all(SV_COUNTER, NULL);
shadow_count = klp_shadow_get_or_alloc(d, SV_COUNTER,
shadow_count = klp_shadow_get(d, SV_COUNTER);
klp_shadow_free(d, SV_COUNTER, NULL);