query_mca 265 arch/x86/boot/boot.h int query_mca(void); query_mca 150 arch/x86/boot/main.c query_mca();