On 06/06/2016 07:45 PM, David Hauck wrote:

Hi Sebastian,

Hi,

Thx, here's one - hope this might be helpful:

[    1.352165] BUG: unable to handle kernel 
[    1.352167] paging request
[    1.352169]  at a93c2560
[    1.352172] IP:
[    1.352178]  [<c107c248>] can_migrate_task+0x58/0x220
[    1.352182] *pde = 00000000 

most of it should be one line.

this comes down to
  if (!cpumask_test_cpu(env->dst_cpu, tsk_cpus_allowed(p))) {

in can_migrate_task() and the crash happens because the pointer
returned in tsk_cpus_allowed() is invalid. Currently nothing rings a
bell.

Great, thx, we'll get started on this this week.

okay.

Thanks again,
-David

Sebastian