Searched defs:csk_idx (Results 1 – 1 of 1) sorted by relevance
171 int csk_idx; member1126 int csk_idx = image_get_csk_index(); in kwb_sign_csk_with_kak() local