NR_RESERVED_ENTRIES
(NR_RESERVED_ENTRIES + 1) ?
(NR_RESERVED_ENTRIES + 1) :
KASSERT(entry != XENGNT_NO_ENTRY && entry > NR_RESERVED_ENTRIES);
KASSERT(entry > NR_RESERVED_ENTRIES);