LUO_SESSION_PGCNT
header_ser = kho_alloc_preserve(LUO_SESSION_PGCNT << PAGE_SHIFT);
#define LUO_SESSION_MAX (((LUO_SESSION_PGCNT << PAGE_SHIFT) - \