debug_print is a device function.