BOOT_SERVICES      41 arch/x86/boot/compressed/eboot.c BOOT_SERVICES(32);
BOOT_SERVICES      42 arch/x86/boot/compressed/eboot.c BOOT_SERVICES(64);