pvr_context_destroy
pvr_context_destroy(pvr_file, handle);
int pvr_context_destroy(struct pvr_file *pvr_file, u32 handle);
return pvr_context_destroy(pvr_file, args->handle);