デバイスツリーのiomuxcに記述するpinctrlで、NXPピン構成(fsl,pins)に指定する値の調べ方を教えてほしいです。

以下のようなデバイスツリー定義でGPIO1_IO13の右値（6番目の値？）の0x4fの定義を知りたいのですが
リファレンスマニュアルのどこを参照すればよいのかわかりませんでした。

&iomuxc {
pinctrl_ir_recv: ir-recv {
fsl,pins = <
MX8MM_IOMUXC_GPIO1_IO13_GPIO1_IO13 0x4f
>;
};
...

GPIOでは
MX8MM_IOMUXC_NAND_READY_B_GPIO3_IO16 0x19
MX8MM_IOMUXC_GPIO1_IO08_GPIO1_IO8 0x16
のような記述がありますが、どのビットがプル設定や初期値を設定しているのか調べています。