CXL_HEADERLOG_SIZE_U32
u32 hl[CXL_HEADERLOG_SIZE_U32];
__array(u32, header_log, CXL_HEADERLOG_SIZE_U32)