Lines Matching full:thunderbolt
54 #include <dev/thunderbolt/nhi_reg.h>
55 #include <dev/thunderbolt/nhi_var.h>
56 #include <dev/thunderbolt/tb_reg.h>
57 #include <dev/thunderbolt/tb_var.h>
58 #include <dev/thunderbolt/tbcfg_reg.h>
59 #include <dev/thunderbolt/router_var.h>
60 #include <dev/thunderbolt/tb_debug.h>
61 #include <dev/thunderbolt/tb_dev.h>
62 #include <dev/thunderbolt/tb_ioctl.h>
99 MALLOC_DEFINE(M_THUNDERBOLT, "thunderbolt", "memory for thunderbolt");
108 printf("Cannot create Thunderbolt system device\n"); in tbdev_init()