MAX_KERNEL_ARGS
(v + sizeof(char **) * MAX_KERNEL_ARGS);
paddr_t locp = p + sizeof(char **) * MAX_KERNEL_ARGS;
if (argc == MAX_KERNEL_ARGS || locp + len + 1 > p + sz) {