Searched refs:exclaves_upcall_range_end (Results 1 – 3 of 3) sorted by relevance
44 extern uintptr_t exclaves_upcall_range_end;
91 uintptr_t exclaves_upcall_range_end; variable877 exclaves_upcall_range_end = VM_KERNEL_UNSLIDE(&exclaves_upcall_end_label); in initialize_exclaves_call_range()878 assert3u(exclaves_upcall_range_end, !=, 0); in initialize_exclaves_call_range()
2647 && !((exclaves_upcall_range_start < out_addr[i]) && (out_addr[i] <= exclaves_upcall_range_end)) in kdp_exclave_stack_offset()