tag	line	file	source code
PREFIX_DS_	564	drivers/FPU-emu/fpu_entry.c	*override = (overrides) { 0, 0, PREFIX_DS_ };       /* defaults */
PREFIX_DS_	600	drivers/FPU-emu/fpu_entry.c	override->segment = PREFIX_DS_;