__ct_state
prev_ctx = __ct_state();
ret = __ct_state();
CT_WARN_ON(__ct_state() != CT_STATE_USER);
if (__ct_state() != state) {
if (__ct_state() == state) {