Searched refs:sc_cL4_kvtov (Results 1 – 1 of 1) sorted by relevance
290 sc_cL4_kvtov(vm_map_address_t vaddr) in sc_cL4_kvtov() function342 vm_map_address_t vbar = sc_cL4_kvtov(sk_dbg_header->vbar); in sc_find_uuid_cdbg()352 const vm_map_address_t signpostva = sc_cL4_kvtov(sk_dbg_header->vbar + offs); in sc_find_uuid_cdbg()