Searched refs:Wkpu_SetUserAccessAllowed (Results 1 – 1 of 1) sorted by relevance
164 void Wkpu_SetUserAccessAllowed(uint32 WkpuBaseAddr);167 …all_Wkpu_SetUserAccessAllowed(BaseAddr) OsIf_Trusted_Call1param(Wkpu_SetUserAccessAllowed,(BaseAdd…185 void Wkpu_SetUserAccessAllowed(uint32 WkpuBaseAddr) in Wkpu_SetUserAccessAllowed() function