39 munge_32_to_64_unsigned(volatile uint64_t *dest, volatile uint32_t *src, int count);
93 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wl()
103 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwl()
114 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlw()
125 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlll()
138 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlllll()
153 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwllllll()
170 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwllww()
184 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlw()
195 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlww()
207 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwll()
222 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwllw()
232 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwlwlw()
248 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wll()
259 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlll()
271 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlllww()
285 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllll()
298 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllww()
311 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllwwll()
326 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlw()
339 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlww()
353 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlwww()
368 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwl()
380 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwlw()
394 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwllww()
410 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwl()
423 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwl()
437 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwlww()
453 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwllw()
469 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwlll()
485 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwl()
500 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwlw()
516 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwll()
532 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wsw()
543 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wws()
554 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwws()
567 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwsw()
616 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lw()
626 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lww()
637 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lwww()
649 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lwwwwwww()
665 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlww()
678 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlwww()
692 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwl()
706 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlwwwl()
723 munge_32_to_64_unsigned(volatile uint64_t *dest, volatile uint32_t *src, int count)  in munge_32_to_64_unsigned()