Searched refs:l4util_idt_desc_t (Results 1 – 2 of 2) sorted by relevance
36 } __attribute__ ((packed)) l4util_idt_desc_t; typedef44 l4util_idt_desc_t desc[0];
Completed in 2 milliseconds