Searched refs:OS_EncodeDeliverArg (Results 1 – 4 of 4) sorted by relevance
128 result = OS_EncodeDeliverArg(); in OSi_JumpToMachineSetting()
342 int OS_EncodeDeliverArg(void);
117 (void)OS_EncodeDeliverArg(); in OS_SetLauncherParamAndResetHardware()
581 int OS_EncodeDeliverArg(void) in OS_EncodeDeliverArg() function