user_write_access_begin
if (!user_write_access_begin(user_exec_list,
if (!user_write_access_begin(p, 2 * sizeof(u32) * kernel_n_regs))