Searched refs:tpmi_domain_size (Results 1 – 1 of 1) sorted by relevance
140 int tpmi_domain_size, tpmi_domain_flags; in parse_one_domain() local146 tpmi_domain_size = tpmi_domain_header >> 16 & 0xff; in parse_one_domain()155 if (tpmi_domain_size != 1) { in parse_one_domain()156 pr_warn(FW_BUG "Invalid Domain size %d\n", tpmi_domain_size); in parse_one_domain()