Searched defs:fiasco_gdt_set (Results 1 – 2 of 2) sorted by relevance
35 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size, in fiasco_gdt_set() function
52 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size, in fiasco_gdt_set() function
Completed in 8 milliseconds