[ 1461.873885] BUG: Bad page map in process a.out pte:12bfff127 pmd:cc6c0067 [ 1461.873891] page:ffffea0004afffc0 count:0 mapcount:-1 mapping: (null) index:0xffffffffffffffff [ 1461.873893] page flags: 0x2fc000000000c04(referenced|reserved|private) [ 1461.873898] addr:00007fe1c3f6c000 vm_flags:140400fb anon_vma: (null) mapping:ffff880114555be8 index:0 [ 1461.873899] vma->vm_ops->fault: (null) [ 1461.873911] vma->vm_file->f_op->mmap: gntalloc_mmap+0x0/0x1d0 [xen_gntalloc] [ 1461.873914] CPU: 1 PID: 1010 Comm: a.out Tainted: G B 3.10.3-1-ARCH #1 [ 1461.873916] Hardware name: Dell Inc. Precision WorkStation T3400 /0TP412, BIOS A05 05/09/2008 [ 1461.873917] ffff8800cc407450 ffff8800bea35cc0 ffffffff814bd2df ffff8800bea35d08 [ 1461.873920] ffffffff81146404 ffffea0004afffc0 ffff880114555be8 ffff8800cc6c0b60 [ 1461.873923] ffffea0004afffc0 00007fe1c3f6d000 ffff8800bea35e30 00007fe1c3f6c000 [ 1461.873925] Call Trace: [ 1461.873932] [] dump_stack+0x19/0x1b [ 1461.873937] [] print_bad_pte+0x1b4/0x270 [ 1461.873939] [] unmap_single_vma+0x803/0x8d0 [ 1461.873944] [] ? SyS_readahead+0xb0/0xb0 [ 1461.873948] [] unmap_vmas+0x49/0x90 [ 1461.873951] [] unmap_region+0x99/0x110 [ 1461.873954] [] ? vma_rb_erase+0x129/0x240 [ 1461.873956] [] do_munmap+0x23a/0x3e0 [ 1461.873958] [] vm_munmap+0x41/0x60 [ 1461.873961] [] SyS_munmap+0x22/0x30 [ 1461.873964] [] system_call_fastpath+0x1a/0x1f