Searched refs:sc_sync_flag_vaddr (Results 1 – 2 of 2) sorted by relevance
87 sc_p->sc_sync_flag_vaddr = (uint64_t *)sc_p->sc_sync_flag_base; in sc_create()89 (caddr_t)sc_p->sc_sync_flag_vaddr); in sc_create()92 ((uintptr_t)sc_p->sc_sync_flag_vaddr & ~MMU_PAGEMASK); in sc_create()95 sc_p->sc_sync_flag_vaddr, sc_p->sc_sync_flag_pa); in sc_create()
71 volatile uint64_t *sc_sync_flag_vaddr; member