Constant VERIFY_CORE_TABLE_ROUNDS 

pub const VERIFY_CORE_TABLE_ROUNDS: u32 = 4;

Table rounds of the measured core’s lanes (DSIG_TABLE_MASK=0x078).