ps3_set_pm_bookmark
void ps3_set_pm_bookmark(u64 tag, u64 incident, u64 th_id);
EXPORT_SYMBOL_GPL(ps3_set_pm_bookmark);