/* attention: pointers passed are userland pointers!, see modctl_load_t */