Searched refs:gPlatformMemoryID (Results 1 – 3 of 3) sorted by relevance
52 uint32_t gPlatformMemoryID; variable481 if (size > sizeof(gPlatformMemoryID)) { in PE_init_platform()482 size = sizeof(gPlatformMemoryID); in PE_init_platform()484 bcopy(prop, &gPlatformMemoryID, size); in PE_init_platform()
143 extern uint32_t gPlatformMemoryID;
136 extern uint32_t gPlatformMemoryID;419 paniclog_append_noflush("Memory ID: 0x%x\n", gPlatformMemoryID); in do_print_all_backtraces()