Searched refs:SDT_MEMRWA (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dgdt_32.c57 #define SDT_MEMRWA 19 /* memory read write accessed */ macro
120 fillsegment(&gdt[SEGMENT_DATA], SDT_MEMRWA);
121 fillsegment(&gdt[SEGMENT_GS], SDT_MEMRWA);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/
H A Dmachdep.c87 #define SDT_MEMRWA 19 /* memory read write accessed */ macro
140 fillsegment(&gdt[SEGMENT_DATA], SDT_MEMRWA);
141 fillsegment(&gdt[SEGMENT_GS], SDT_MEMRWA);

Completed in 88 milliseconds