taglinefilesource code
AUX_DEVICE_INFO86init/main.c#define AUX_DEVICE_INFO (*(unsigned char *)0x901FF)
AUX_DEVICE_INFO29zBoot/misc.c#define AUX_DEVICE_INFO (*(unsigned char *)0x901FF)