misc_cg_set_capacity
WARN_ON_ONCE(misc_cg_set_capacity(MISC_CG_RES_SEV, sev_asid_count));
WARN_ON_ONCE(misc_cg_set_capacity(MISC_CG_RES_SEV_ES, sev_es_asid_count));
misc_cg_set_capacity(MISC_CG_RES_SEV, 0);
misc_cg_set_capacity(MISC_CG_RES_SEV_ES, 0);
if (misc_cg_set_capacity(MISC_CG_RES_TDX, tdx_get_nr_guest_keyids()))
misc_cg_set_capacity(MISC_CG_RES_TDX, 0);
int misc_cg_set_capacity(enum misc_res_type type, u64 capacity);
EXPORT_SYMBOL_GPL(misc_cg_set_capacity);