undefined
u64 undefined; /* + 0x01000 */
volatile uint32_t undefined[480];
static enum enable_type pci_realloc_enable = undefined;
if (enable_local != undefined)
if (enable_local == undefined) {
u32 undefined;