/drivers/tee/amdtee/amdtee.mod.c