atppc_puc_attach
static void atppc_puc_attach(device_t, device_t, void *);
atppc_puc_attach, NULL, NULL);