232 		      int *success_count, domid_t domid)  in HYPERVISOR_mmu_update()  argument
234 	return _hypercall4(int, mmu_update, req, count, success_count, domid);  in HYPERVISOR_mmu_update()
239 		     int *success_count, domid_t domid)  in HYPERVISOR_mmuext_op()  argument
241 	return _hypercall4(int, mmuext_op, op, count, success_count, domid);  in HYPERVISOR_mmuext_op()
404 					 unsigned long flags, domid_t domid)  in HYPERVISOR_update_va_mapping_otherdomain()  argument
408 				   new_val.pte, flags, domid);  in HYPERVISOR_update_va_mapping_otherdomain()
412 				   flags, domid);  in HYPERVISOR_update_va_mapping_otherdomain()
510 				    domid_t domid)  in MULTI_update_va_mapping_otherdomain()  argument
517 		mcl->args[3] = domid;  in MULTI_update_va_mapping_otherdomain()
522 		mcl->args[4] = domid;  in MULTI_update_va_mapping_otherdomain()
558 		 int count, int *success_count, domid_t domid)  in MULTI_mmu_update()  argument
564 	mcl->args[3] = domid;  in MULTI_mmu_update()
571 		int *success_count, domid_t domid)  in MULTI_mmuext_op()  argument
577 	mcl->args[3] = domid;  in MULTI_mmuext_op()