def device_get_api_addr(elf, addr):
    offset = (8 if (elf.elfclass == 32) else 16)
    return addr_deref(elf, (addr + offset))
def device_get_api_addr(elf, addr):
    offset = (8 if (elf.elfclass == 32) else 16)
    return addr_deref(elf, (addr + offset))