query_edd 302 arch/x86/boot/boot.h void query_edd(void); query_edd 173 arch/x86/boot/main.c query_edd();