Searched refs:is_managed (Results 1 – 2 of 2) sorted by relevance
1588 int64_t is_managed = 0; in main() local1590 vproc_swap_integer(NULL, VPROC_GSK_IS_MANAGED, NULL, &is_managed); in main()1592 if (is_managed == 0) return cli_main(argc, argv); in main()
2682 is_managed(vm_paddr_t pa) in is_managed() function2702 return (is_managed(pte1_pa(pte1))); in pte1_is_managed()2709 return (is_managed(pte2_pa(pte2))); in pte2_is_managed()