platform_access_dev_destroy
void platform_access_dev_destroy(struct psp_device *psp);
platform_access_dev_destroy(psp);