Searched refs:sccb_max_addr (Results 1 – 1 of 1) sorted by relevance
55 uint64_t sccb_max_addr = sccb_addr + sccb_len - 1; in sccb_verify_boundary() local73 if (sccb_max_addr < sccb_boundary) { in sccb_verify_boundary()