Searched refs:gPlatformMemoryID (Results 1 – 3 of 3) sorted by relevance
55 uint32_t gPlatformMemoryID; variable496 if (size > sizeof(gPlatformMemoryID)) { in PE_init_platform()497 size = sizeof(gPlatformMemoryID); in PE_init_platform()499 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()