KVNO
if(vno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
if(kvno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
if(pvno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 1),
FIELD_INT_IMM(KVNO, 1),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
FIELD_INT_IMM(KVNO, 0),
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO);
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }