1413 struct exec_args_kva {  struct
1416 	SLIST_ENTRY(exec_args_kva) next;  argument
1419 DPCPU_DEFINE_STATIC(struct exec_args_kva *, exec_args_kva);
1421 static SLIST_HEAD(, exec_args_kva) exec_args_kva_freelist;
1428 	struct exec_args_kva *argkva;  in exec_prealloc_args_kva()
1440 SYSINIT(exec_args_kva, SI_SUB_EXEC, SI_ORDER_ANY, exec_prealloc_args_kva, NULL);
1445 	struct exec_args_kva *argkva;  in exec_alloc_args_kva()
1448 	    (uintptr_t *)DPCPU_PTR(exec_args_kva));  in exec_alloc_args_kva()
1459 	*(struct exec_args_kva **)cookie = argkva;  in exec_alloc_args_kva()
1464 exec_release_args_kva(struct exec_args_kva *argkva, u_int gen)  in exec_release_args_kva()
1476 	if (!atomic_cmpset_ptr((uintptr_t *)DPCPU_PTR(exec_args_kva),  in exec_release_args_kva()
1495 	SLIST_HEAD(, exec_args_kva) head;  in exec_args_kva_lowmem()
1496 	struct exec_args_kva *argkva;  in exec_args_kva_lowmem()
1508 	SLIST_SWAP(&head, &exec_args_kva_freelist, exec_args_kva);  in exec_args_kva_lowmem()
1517 		    (uintptr_t *)DPCPU_ID_PTR(i, exec_args_kva));  in exec_args_kva_lowmem()