Searched refs:fiasco_gdt_set (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/l4sys/include/ARCH-x86/L4API-l4f/ |
| A D | segment.h | 35 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size, in fiasco_gdt_set() function
|
| /l4re-core-master/l4sys/include/ARCH-amd64/L4API-l4f/ |
| A D | segment.h | 52 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size, in fiasco_gdt_set() function
|
| /l4re-core-master/l4sys/include/ARCH-x86/ |
| A D | segment.h | 61 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size,
|
| /l4re-core-master/l4sys/include/ARCH-amd64/ |
| A D | segment.h | 61 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size,
|
| /l4re-core-master/uclibc/lib/libpthread/src/sysdeps/i386/ |
| A D | tls.h | 219 seg = fiasco_gdt_set(L4_INVALID_CAP, &segdesc, 8, 0, l4_utcb()); in TLS_INIT_TP()
|
Completed in 8 milliseconds