3968 /* * The following are filled by hardware specific attachment code. */