+void
+IORecordProgressBackbuffer(void * buffer, size_t size, uint32_t theme)
+{
+ IORegistryEntry * chosen;
+ if ((chosen = IORegistryEntry::fromPath(kIODeviceTreePlane ":/chosen")))
+ {
+ chosen->setProperty(kIOProgressBackbufferKey, buffer, size);
+ chosen->setProperty(kIOProgressColorThemeKey, theme, 32);
+
+ chosen->release();
+ }
+}
+