KYBER_HCTX_DATA
__acquires(&KYBER_HCTX_DATA(HCTX_FROM_SEQ_FILE(m))->lock) \
__releases(&KYBER_HCTX_DATA(HCTX_FROM_SEQ_FILE(m))->lock) \