I'm trying to install my own GDT in a lightweight kernel domU and am receiving an error from HYPERVISOR_set_gdt() that my page does not have the expected type. I've made sure that the page is mapped read-only and walked the active page tables to check for any writable mappings. There are two mappings of page 0x2abcd, both with only the present and user bits set:

load_gdt_xen:313: Setting GDT page 0000006000524000 read-only Mappings of 0000006000524000 (page 000000002abcd000): PML1 0x6000024000[124] = 001000002abcd005 (va=0000000000524000 000 000 002 124) PML1 0x6000024000[124] = 001000002abcd005 (va=0000006000524000 000 180 002 124) load_gdt_xen:318: Setting GDT 0x6000524000 => 000000000002abcd (12 entries) (XEN) mm.c:1664:d10 Bad type (saw 00000000e8000001 != exp 00000000a0000000) for
mfn 2abcd (pfn 524) load_gdt_xen:322: Unable to set GDT! rc=-22

Is there a way to designate that the page will be used for the GDT, similar to MMUEXT_PIN_L4_TABLE?

-- Trammell