PTE_PER_TABLE
#define MAX_NODE_IDX (PTE_PER_TABLE - 1)
ASSERT3U(node->vgn_ref_cnt, <, PTE_PER_TABLE);
ASSERT3U(node->vgn_ref_cnt + covered, <=, PTE_PER_TABLE);