static const char * __init ux500_get_revision(void) { unsigned int rev = dbx500_revision(); if (rev == 0x01) return kasprintf(GFP_KERNEL, "%s", "ED"); else if (rev >= 0xA0) return kasprintf(GFP_KERNEL, "%d.%d", (rev >> 4) - 0xA + 1, rev & 0xf); return kasprintf(GFP_KERNEL, "%s", "Unknown"); }
bool cpu_is_u8500v22(void) { return cpu_is_u8500() && (dbx500_revision() == 0xB2); }