/*
* Default size of the kernel system call array. With this size, we usually
* reallocate twice considering a 32 bit compat layer also.
*/
/*
* Default size of the kernel system call array. With this size, we usually
* reallocate twice considering a 32 bit compat layer also.
*/