/* There are several entries we don't let the Guest set. The TSS entry is the "Task State Segment" which controls all kinds of delicate things. The LGUEST_CS and LGUEST_DS entries are reserved for the Switcher, and the the Guest can't be trusted to deal with double faults.  */
static bool ignored_gdt(unsigned int num)
/* There are several entries we don't let the Guest set. The TSS entry is the "Task State Segment" which controls all kinds of delicate things. The LGUEST_CS and LGUEST_DS entries are reserved for the Switcher, and the the Guest can't be trusted to deal with double faults.  */
static bool ignored_gdt(unsigned int num)
{
	return (num == GDT_ENTRY_TSS
		|| num == GDT_ENTRY_LGUEST_CS
		|| num == GDT_ENTRY_LGUEST_DS
		|| num == GDT_ENTRY_DOUBLEFAULT_TSS);
}