s10_svc_free_memory
s10_svc_free_memory(sc->s10_svc_dev, &sc->mem);
void s10_svc_free_memory(device_t dev, struct s10_svc_mem *mem);