7872 /* serv list */ /* hw pointer to service list (byte offset) */