pixel_clk_10_khz_out 1507 drivers/gpu/drm/amd/display/dc/bios/command_table.c 		uint64_t pixel_clk_10_khz_out =
pixel_clk_10_khz_out 1513 drivers/gpu/drm/amd/display/dc/bios/command_table.c 					div_u64(pixel_clk * pixel_clk_10_khz_out,