#include <stdint.h>

void
display_setup(void);