p64h2attach
static void p64h2attach(device_t, device_t, void *);
p64h2match, p64h2attach, NULL, NULL);