Display driver for mainline kernel

Hi, the old (3.4) linux-sunxi kernels had a driver interface (/dev/disp) for controlling HDMI and LCD displays. Is there anything similar for the latest mainline kernels?

Specifically, I want to turn the HDMI interface in a Banana pi M1 on and off programmatically. With the sunxi kernel and a10disp this worked fine, but I would like to run a newer kernel than 3.4.