Searched refs:gPlatformMemoryID (Results 1 – 3 of 3) sorted by relevance
61 uint32_t gPlatformMemoryID; variable503 if (size > sizeof(gPlatformMemoryID)) { in PE_init_platform()504 size = sizeof(gPlatformMemoryID); in PE_init_platform()506 bcopy(prop, &gPlatformMemoryID, size); in PE_init_platform()
153 extern uint32_t gPlatformMemoryID;
146 extern uint32_t gPlatformMemoryID;453 paniclog_append_noflush("Memory ID: 0x%x\n", gPlatformMemoryID); in do_print_all_backtraces()