/ reform / openbsd / reform-openbsd / arch / x86 / cpu / quark Kconfig Makefile acpi.c car.S dram.c hte.c hte.h mrc.c mrc_util.c mrc_util.h msg_port.c quark.c smc.c smc.h