made ctx_t and 'uint32_t' to fix kernel<->user conflicts (-1 in user