view config/FreeBSD.mk @ 16412:8c305873f2b8

x86: Make IDT/GDT/LDT updates safe.

This involves either determining that the entry will not be
read/written while the update takes place, or atomically making the
entry 'present', or doing the entire write atomically, as appropriate.

This issue raised, and original patch provided, by Jan Beulich.

Signed-off-by: Keir Fraser <keir.fraser@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Nov 21 11:38:51 2007 +0000 (2007-11-21)
parents 0edecad52917
line source
1 include $(XEN_ROOT)/config/StdGNU.mk