Symbol: get_drm_timestamp
sys/dev/drm2/drm_irq.c
743
*tvblank = get_drm_timestamp();
sys/dev/drm2/drm_irq.c
833
now = get_drm_timestamp();