planetcore_get_hex   86 arch/powerpc/boot/planetcore.c 	if (!planetcore_get_hex(table, PLANETCORE_KEY_MAC_ADDR, &int_addr))
planetcore_get_hex   35 arch/powerpc/boot/planetcore.h int planetcore_get_hex(const char *table, const char *key, u64 *val);