| /src/sys/arch/hpcmips/stand/pbsdboot/ |
| tx39xx.c | 47 typedef int tx_chipset_tag_t; typedef in typeref:typename:int
51 tx_conf_read(tx_chipset_tag_t t, int reg)
57 tx_conf_write(tx_chipset_tag_t t, int reg, u_int32_t val)
|
| /src/sys/arch/hpcmips/tx/ |
| tx39var.h | 68 typedef struct tx_chipset_tag* tx_chipset_tag_t __attribute__((__unused__)); typedef in typeref:struct:tx_chipset_tag *
84 void tx_conf_register_intr(tx_chipset_tag_t, void *);
85 void tx_conf_register_power(tx_chipset_tag_t, void *);
86 void tx_conf_register_clock(tx_chipset_tag_t, void *);
87 void tx_conf_register_sound(tx_chipset_tag_t, void *);
88 void tx_conf_register_ioman(tx_chipset_tag_t, struct hpcio_chip *);
89 void tx_conf_register_video(tx_chipset_tag_t, void *);
112 tx_chipset_tag_t ta_tc; /* Chipset tag */
119 void* tx_intr_establish(tx_chipset_tag_t, int, int, int, int (*)(void *),
121 void tx_intr_disestablish(tx_chipset_tag_t, void *)
[all...] |
