Searched refs:uaddr_p (Results 1 – 2 of 2) sorted by relevance
212 user_addr_t* uaddr_p,
1655 user_addr_t* uaddr_p, in trusty_app_setup_mmio() argument1663 ASSERT(uaddr_p); in trusty_app_setup_mmio()1664 void* va = (void*)(uintptr_t)(*uaddr_p); in trusty_app_setup_mmio()1679 *uaddr_p = (user_addr_t)(uintptr_t)va; in trusty_app_setup_mmio()1680 DEBUG_ASSERT((void*)(uintptr_t)(*uaddr_p) == va); in trusty_app_setup_mmio()