preload_fetch_addr
hdr = preload_fetch_addr(acpi_table);
ptr = preload_fetch_addr(image_module);
ptr = preload_fetch_addr(mod);
ptr = preload_fetch_addr(data);
data = preload_fetch_addr(keyfile);
data = preload_fetch_addr(keyfile);
data = preload_fetch_addr(keyfile);
data = preload_fetch_addr(file);
loader_tslog_buf = preload_fetch_addr(loader_tslog);
addr = preload_fetch_addr(file);
ptr = preload_fetch_addr(kmdp);
extern void * preload_fetch_addr(caddr_t _mod);
ptr = preload_fetch_addr(mod);
fileaddr = preload_fetch_addr(file);