RF_Config_t32
RF_Free(k_cfg32, sizeof(RF_Config_t32));
RF_Config_t32 *u_cfg32 = NETBSD32PTR64(*(netbsd32_pointer_t *)data);
RF_Config_t32 *k_cfg32;
rv = copyin(u_cfg32, k_cfg32, sizeof(RF_Config_t32));
RF_Free(k_cfg32, sizeof(RF_Config_t32));