kmdb_module_addr_to_ctf
return (kmdb_module_addr_to_ctf(addr));
extern ctf_file_t *kmdb_module_addr_to_ctf(uintptr_t);