kernel devicetree prod-settings

Autonomous Machines Jetson & Embedded Systems Jetson TX1
1 
spi@7000da00 {
	status = "okay";
	spi-max-frequency = <25000000>;
	prod-settings {
		prod_c_cs0 {
		    prod = <0x04 0xfffff03f 0x00000400>;
		};
	};

    spi3_0 {
	#address-cells = <0x1>;
	#size-cells = <0x0>;
	compatible = "linux,spidev", "spidev";
	reg = <0x0>;
	spi-max-frequency = <25000000>;
	nvidia,enable-hw-based-cs;
	nvidia,cs-setup-clk-count = <0x1e>;
	nvidia,cs-hold-clk-count = <0x1e>;
	nvidia,rx-clk-tap-delay = <0x1f>;
	nvidia,tx-clk-tap-delay = <0x0>;
    };
};

Hello,I have a question here
The value of prod mentioned in the above device tree is <0x04 0xfffff03f 0x00000400>, where is there a document to view.

2

This value is gen by internal tools there’s no document to public.

3

OK,Thank you for your reply