handle kernel arg types