Searched refs:L4_THREAD_X86_GDT_OP (Results 1 – 5 of 5) sorted by relevance
38 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_set()
55 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_set()
109 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset()
169 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset()
633 L4_THREAD_X86_GDT_OP = 0x10UL, /**< Gdt */ enumerator
Completed in 9 milliseconds