Constant KERB_TICKET_FLAGS_hw_authent 

pub const KERB_TICKET_FLAGS_hw_authent: KERB_TICKET_FLAGS;