SMS_SUBPAGE_PAGE_0
KASSERT(page_index->subpage == SMS_SUBPAGE_PAGE_0,
KASSERT(page_index->subpage == SMS_SUBPAGE_PAGE_0,
KASSERT(page_index->subpage == SMS_SUBPAGE_PAGE_0,
case SMS_SUBPAGE_PAGE_0: {
case SMS_SUBPAGE_PAGE_0:
KASSERT(page_index->subpage == SMS_SUBPAGE_PAGE_0,
if ((subpage != SMS_SUBPAGE_PAGE_0)
&& (subpage == SMS_SUBPAGE_PAGE_0))
&& (subpage == SMS_SUBPAGE_PAGE_0))