A fixed-size table of pointers that the kernel uses to keep track of the semaphores that it has opened.