Comment 10 for bug 1111470

Bob, I was mentioning the versions not so much because it might be a development version but because I suspect there is some confusion going on between 3.2.0 and 3.5.0 and their abi versions (the number behind the '-'). Sometimes better to be very anal there in asking to avoid more confusion. ;-)

Bob, Mike, yeah I had been changing my test machine from using dom0_mem to allow it to use all memory but it did still work. I somewhat suspect that this could be related how this machine (or class of machines) set up their BIOS tables.

Konrad, usually those would be available at http://ddebs.ubuntu.com/pool/main/l/linux/. Unfortunately we, err, got a slight problem of occasionally loosing them. Since they are big there is a cleanup task at work. And that is sometimes a bit over-eager. I did a compile with 3.2.0-36.57 (seems that while not looking we went ahead and 3.2.0-37.58 is "current"). Here is the relevant snippet from System.map:

ffffffff81641543 t set_page_prot
ffffffff81641581 t xen_remap_domain_mfn_range.part.21
ffffffff8164158c t pin_pagetable_pfn
ffffffff816415e5 t p2m_top_index.part.3

So it seems to be pin_pagetable_pfn. But I will attach the whole map too. I am hesitating a bit for the other files since they are so big, but if you need anything, let me know.