root/drivers/gpu/drm/amd/display/dc/irq/dce80/

[..]
  1. irq_service_dce80.c
  2. irq_service_dce80.h
[..]