query_edd 259 arch/x86/boot/boot.h void query_edd(void); query_edd 167 arch/x86/boot/main.c query_edd();