kernel-argument-resolving