Searched defs:sinit_base (Results 1 – 1 of 1) sorted by relevance
253 void *sinit_base = (void *)(uintptr_t)read64p(TXT_SINIT_BASE); in txt_heap_push_bdr_for_two_acms() local298 void *sinit_base = (void *)(uintptr_t)read64p(TXT_SINIT_BASE); in txt_heap_push_bdr_for_one_acm() local