root@tarballerina:~# xl console testvm-3.0
BUG: unable to handle kernel paging request at 000000000223da80
IP: [<ffffffff8103099e>] fill_pte+0x1e/0x100
PGD 1e6ad067 PUD fffffffffffff067 BAD
Oops: 0000 [#1] SMP
CPU 0
Modules linked in:

Pid: 6, comm: migration/0 Not tainted 3.0.3-xenU #3
RIP: e030:[<ffffffff8103099e>]  [<ffffffff8103099e>] fill_pte+0x1e/0x100
RSP: e02b:ffff88001f9fbd20  EFLAGS: 00010082
RAX: ffffc7ffffffffd0 RBX: ffffc7ffffffffd0 RCX: ffffffffff57b000
RDX: 00003ffffffff000 RSI: ffffffffff57b000 RDI: ffffc7ffffffffd0
RBP: ffffffffff57b000 R08: 0000000000000020 R09: 0000000000000000
R10: 0000000000000001 R11: 0000000000000000 R12: ffff88001fa6ddd4
R13: ffffffff81083d01 R14: ffff88001fa6ddb0 R15: ffff88001f9f7170
FS:  00007f0b724627a0(0000) GS:ffff88001fec6000(0000) knlGS:0000000000000000
CS:  e033 DS: 0000 ES: 0000 CR0: 000000008005003b
CR2: 000000000223da80 CR3: 000000001e67f000 CR4: 0000000000002660
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400
Process migration/0 (pid: 6, threadinfo ffff88001f9fa000, task ffff88001f9f7170)
Stack:
 0000000000000001 ffffffffff57b000 80000000cf265063 ffff88001fa6ddd4
 ffffffff81083d01 ffffffff81030bd3 ffffffffff57b000 0000000000000000
 0000000000000000 ffffffff81035616 0000000000000000 ffffffff81003fa8
Call Trace:
 [<ffffffff81083d01>] ? cpu_stopper_thread+0xe1/0x190
 [<ffffffff81030bd3>] ? set_pte_vaddr_pud+0x33/0x60
 [<ffffffff81035616>] ? __native_set_fixmap+0x26/0x30
 [<ffffffff81003fa8>] ? xen_setup_shared_info+0x58/0x70
 [<ffffffff81007bfd>] ? xen_arch_post_suspend+0xd/0xb0
 [<ffffffff8140e129>] ? xen_post_suspend+0x9/0x20
 [<ffffffff8140e0d4>] ? xen_suspend+0x54/0xa0
 [<ffffffff81083e3b>] ? stop_machine_cpu_stop+0x8b/0xd0
 [<ffffffff81083db0>] ? cpu_stopper_thread+0x190/0x190
 [<ffffffff81083cf0>] ? cpu_stopper_thread+0xd0/0x190
 [<ffffffff815ebf70>] ? schedule+0x270/0x6c0
 [<ffffffff81083c20>] ? copy_pid_ns+0x2a0/0x2a0
 [<ffffffff81065766>] ? kthread+0x96/0xa0
 [<ffffffff815ef724>] ? kernel_thread_helper+0x4/0x10
 [<ffffffff815eeb36>] ? int_ret_from_sys_call+0x7/0x1b
 [<ffffffff815ee2e1>] ? retint_restore_args+0x5/0x6
 [<ffffffff815ef720>] ? gs_change+0x13/0x13
Code: c4 18 c3 66 2e 0f 1f 84 00 00 00 00 00 48 83 ec 28 48 89 5c 24 08 48 89 6c 24 10 4c 89 64 24 18 4c 89 6c 24 20 48 89 fb 48 89 f5
 8b 3f 48 85 ff 74 4a ff 14 25 30 0d 81 81 48 ba 00 00 00 00
RIP  [<ffffffff8103099e>] fill_pte+0x1e/0x100
 RSP <ffff88001f9fbd20>
CR2: 000000000223da80
---[ end trace cbadc64a261dc256 ]---