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