Home
last modified time | relevance | path

Searched refs:ns_addr_t (Results 1 – 3 of 3) sorted by relevance

/trusty/kernel/lib/sm/include/lib/
Dsm.h34 typedef uint64_t ns_addr_t; typedef
105 ns_addr_t* ppa,
/trusty/kernel/lib/sm/
Dns_mem.c93 ns_addr_t* ppa, in sm_decode_ns_memory_attr()
106 *ppa = (ns_addr_t)NS_PTE_PHYSADDR(pinf->attr); in sm_decode_ns_memory_attr()
Dshared_mem.c80 ns_addr_t ns_paddr; in sm_mem_compat_get_vmm_obj()