search for: pgt_gdt_page

Is there any particular reason why there cannot just be a PGT_descr_page, combining the two currently existing types? Even if it''s only a page, I''d want to avoid wasting memory for nothing, and i386''s default_ldt could easily move into the same page cpu_gdt_table lives in. Alternatively one could also use empty_zero_page here. Or do it like on x86-64, where the symbol