Lines Matching full:void
32 static inline void DWB(void) /* drain write buffer */
39 static inline void writel(unsigned val, unsigned addr)
46 static inline void writeb(unsigned val, unsigned addr)
61 void enable_irq(void);
68 extern void key_changed(unsigned int key, unsigned int is_down) __attribute__ ((weak));
71 void boot_register_poll_func(void (*func)(void));
72 void boot_poll(void);
75 void dcc_init();
77 void dprintf(const char *fmt, ...);
78 void dprintf_set_putc(void (*func)(unsigned));
79 void dprintf_set_flush(void (*func)(void));
82 void gpio_output_enable(unsigned n, unsigned out);
83 void gpio_write(unsigned n, unsigned on);
87 void *alloc(unsigned sz); /* alloc 32byte aligned memory */
88 void *alloc_page_aligned(unsigned sz);
90 void *memcpy(void *dst, const void *src, unsigned len);
91 void *memset(void *dst, unsigned val, unsigned len);
94 int memcmp(const void *a, const void *b, unsigned len);
99 unsigned cycles_per_second(void);
100 void print_cpu_speed(void);
101 void arm11_clock_init(void);
102 void mdelay(unsigned msecs);
103 void udelay(unsigned usecs);
106 void console_init(void);
107 void console_set_colors(unsigned bg, unsigned fg);
108 void console_clear(void);
109 void console_putc(unsigned n);
110 void console_flush(void);
112 void cprintf(const char *fmt, ...);
114 void mddi_init(void);
115 void mddi_start_update(void);
116 int mddi_update_done(void);
117 void *mddi_framebuffer(void);
118 void mddi_remote_write(unsigned val, unsigned reg);
123 void set_led(int on);
126 void jtag_okay(const char *msg);
127 void jtag_fail(const char *msg);
128 void jtag_dputc(unsigned ch);
129 void jtag_cmd_loop(void (*do_cmd)(const char *, unsigned, unsigned, unsigned));
131 typedef void (*irq_handler)(unsigned n);
137 void compute_digest(void *data, unsigned len, void *digest_out);
138 int is_signature_okay(void *digest, void *signature, void *pubkey);
144 static int (*__boot_init_hook__)(void) __attr_used __attr_init = func
