Video Planes, Graphics Planes and Z-ordering support on Jetson TK1

Does NVIDIA Tegra K1 platform support two graphics planes and one video plane? Also, does the TK1 platform provide support for Z-Ordering?

The TRM section 21 (especially 21.1.3) describes the features.

See also;a=blob;f=Documentation/video/tegra_dc_ext.txt;h=6fc3394c6652f899633586202454292c378e3fbe;hb=dacac96c7ad738ee811e62be4ea9e5af9b80e3e4

But unfortunately I don’t know if you can use those explicitly under X.Org.