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_wwllww()
152 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlw()
163 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlww()
175 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwll()
190 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwllw()
200 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwlwlw()
216 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wll()
227 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlll()
239 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlllww()
253 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllll()
266 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllww()
279 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wllwwll()
294 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlw()
307 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlww()
321 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwlwww()
336 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwl()
348 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwlw()
362 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwllww()
378 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwl()
391 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwl()
405 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwlww()
421 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwllw()
437 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwlll()
453 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwl()
468 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwlw()
484 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwwwwll()
500 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wsw()
511 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wws()
522 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwws()
535 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwwsw()
584 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lw()
594 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lwww()
606 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_lwwwwwww()
622 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlww()
635 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlwww()
649 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wlwwwl()
663 	volatile uint32_t *in_args = (volatile uint32_t*)args;  in munge_wwlwwwl()
680 munge_32_to_64_unsigned(volatile uint64_t *dest, volatile uint32_t *src, int count)  in munge_32_to_64_unsigned()