_ppb_assert_locked
extern void _ppb_assert_locked(device_t, const char *, int);
#define ppb_assert_locked(dev) _ppb_assert_locked(dev, __FILE__, __LINE__)