Searched refs:cmdline_buffer (Results 1 – 1 of 1) sorted by relevance
379 char *cmdline_buffer = (char*)lock_user(VERIFY_WRITE, ARG(0), len, 0); in do_arm_semihosting() local381 if (!cmdline_buffer) in do_arm_semihosting()385 s = cmdline_buffer; in do_arm_semihosting()389 if (s != cmdline_buffer) { in do_arm_semihosting()402 len = s - cmdline_buffer; in do_arm_semihosting()405 unlock_user(cmdline_buffer, ARG(0), len); in do_arm_semihosting()