sbdp_get_cpu_sram_addr
xc_one(cpuid, sbdp_get_cpu_sram_addr, (uint64_t)&map,
void sbdp_get_cpu_sram_addr(uint64_t, uint64_t);