32/kernel/vspace.c

2239             current_syscall_error.invalidCapNumber = 0;
2259             current_syscall_error.invalidCapNumber = 0;
2347         current_syscall_error.invalidCapNumber = 0;
2362         current_syscall_error.invalidCapNumber = 1;
2394             current_syscall_error.invalidCapNumber = 1;
2465             current_syscall_error.invalidCapNumber = 0;
2475             current_syscall_error.invalidCapNumber = 1;
2501                 current_syscall_error.invalidCapNumber = 1;
2609             current_syscall_error.invalidCapNumber = 1;
2618             current_syscall_error.invalidCapNumber = 0;
2647                 current_syscall_error.invalidCapNumber = 1;
2885             current_syscall_error.invalidCapNumber = 1;
2945             current_syscall_error.invalidCapNumber = 1;
2964             current_syscall_error.invalidCapNumber = 0;