Searched refs:domain_kernel (Results 1 – 1 of 1) sorted by relevance
83 struct k_mem_domain domain_kernel, domain_user; in main() local86 k_mem_domain_init(&domain_kernel, 0, NULL); in main()89 load_and_run_extension(0, &kernel_thread, &domain_kernel, in main()
