Either <dev/registers.h> or just registers.h.