TXP_H2A_0         413 dev/pci/if_txp.c 	WRITE_REG(sc, TXP_H2A_0, TXP_BOOTCMD_RUNTIME_IMAGE);
TXP_H2A_0         431 dev/pci/if_txp.c 	WRITE_REG(sc, TXP_H2A_0, TXP_BOOTCMD_DOWNLOAD_COMPLETE);
TXP_H2A_0         547 dev/pci/if_txp.c 	WRITE_REG(sc, TXP_H2A_0, TXP_BOOTCMD_SEGMENT_AVAILABLE);
TXP_H2A_0        1133 dev/pci/if_txp.c 	WRITE_REG(sc, TXP_H2A_0, TXP_BOOTCMD_REGISTER_BOOT_RECORD);
TXP_H2A_0        1151 dev/pci/if_txp.c 	WRITE_REG(sc, TXP_H2A_0, TXP_BOOTCMD_NULL);