Searched refs:gPlatformMemoryID (Results 1 – 3 of 3) sorted by relevance
64 uint32_t gPlatformMemoryID; variable514 if (size > sizeof(gPlatformMemoryID)) { in PE_init_platform()515 size = sizeof(gPlatformMemoryID); in PE_init_platform()517 bcopy(prop, &gPlatformMemoryID, size); in PE_init_platform()
154 extern uint32_t gPlatformMemoryID;
149 extern uint32_t gPlatformMemoryID;481 paniclog_append_noflush("Memory ID: 0x%x\n", gPlatformMemoryID); in do_print_all_backtraces()