ps3_sys_manager_get_wol
int ps3_sys_manager_get_wol(void);
wol->wolopts = ps3_sys_manager_get_wol() ? wol->supported : 0;
EXPORT_SYMBOL_GPL(ps3_sys_manager_get_wol);