sys/arch/evbmips/rmixl/machdep.c

685

rmixl_puthex64(rcp->rc_psb_info.psb_version);

sys/arch/evbmips/rmixl/machdep.c

706

rmixl_puthex64((uint64_t)(intptr_t)infop);

sys/arch/evbmips/rmixl/machdep.c

710

rmixl_puthex64(rcp->rc_psb_info.psb_version);

sys/arch/evbmips/rmixl/machdep.c

728

rmixl_puthex64(map->entry[i].start);

sys/arch/evbmips/rmixl/machdep.c

730

rmixl_puthex64(map->entry[i].size);

sys/arch/evbmips/rmixl/machdep.c

764

rmixl_puthex64((uint64_t)(intptr_t)psb_physaddr_map);

sys/arch/evbmips/rmixl/machdep.c

780

rmixl_puthex64((uint64_t)(intptr_t)avail_mem_map);

sys/arch/evbmips/rmixl/machdep.c

832

rmixl_puthex64(mem_clusters[cnt].start);

sys/arch/evbmips/rmixl/machdep.c

834

rmixl_puthex64(sz);

sys/arch/evbmips/rmixl/machdep.c

836

rmixl_puthex64(sum);

sys/arch/mips/rmi/rmixl_comvar.h

43

void rmixl_puthex64(uint64_t); /* XXX DEBUG */