SGX_VA_SLOT_COUNT
int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);
if (slot < SGX_VA_SLOT_COUNT)
int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);
return slot == SGX_VA_SLOT_COUNT;
DECLARE_BITMAP(slots, SGX_VA_SLOT_COUNT);
BUILD_BUG_ON(SGX_VA_SLOT_COUNT !=
if (!(encl->page_cnt % SGX_VA_SLOT_COUNT)) {
WARN_ON_ONCE(encl->page_cnt % SGX_VA_SLOT_COUNT);