SES2_DIAGPAGE_THRESHOLD_IO
SES2_DIAGPAGE_THRESHOLD_IO, np, &len)) == NULL)
if (page == SES2_DIAGPAGE_THRESHOLD_IO)
if (page == SES2_DIAGPAGE_THRESHOLD_IO)
if (page == SES2_DIAGPAGE_THRESHOLD_IO)
if (page == SES2_DIAGPAGE_THRESHOLD_IO)
ASSERT(page == SES2_DIAGPAGE_THRESHOLD_IO);
.scp_num = SES2_DIAGPAGE_THRESHOLD_IO, \
.scp_num = SES2_DIAGPAGE_THRESHOLD_IO, \
.scp_num = SES2_DIAGPAGE_THRESHOLD_IO, \
.scp_num = SES2_DIAGPAGE_THRESHOLD_IO, \
ASSERT(page == SES2_DIAGPAGE_THRESHOLD_IO);
ses2_diag_page_t page = SES2_DIAGPAGE_THRESHOLD_IO;
.spd_pagenum = SES2_DIAGPAGE_THRESHOLD_IO,
.spd_pagenum = SES2_DIAGPAGE_THRESHOLD_IO,