Searched refs:gPlatformMemoryID (Results 1 – 3 of 3) sorted by relevance
53 uint32_t gPlatformMemoryID; variable493 if (size > sizeof(gPlatformMemoryID)) { in PE_init_platform()494 size = sizeof(gPlatformMemoryID); in PE_init_platform()496 bcopy(prop, &gPlatformMemoryID, size); in PE_init_platform()
143 extern uint32_t gPlatformMemoryID;
142 extern uint32_t gPlatformMemoryID;435 paniclog_append_noflush("Memory ID: 0x%x\n", gPlatformMemoryID); in do_print_all_backtraces()