687 	op.cmd = level;  in xen_do_pin()
1002 static void __init pin_pagetable_pfn(unsigned cmd, unsigned long pfn)  in pin_pagetable_pfn()  argument
1006 	op.cmd = cmd;  in pin_pagetable_pfn()
1245 	op->cmd = MMUEXT_TLB_FLUSH_LOCAL;  in xen_flush_tlb()
1264 	op->cmd = MMUEXT_INVLPG_LOCAL;  in xen_flush_tlb_one_user()
1296 	args->op.cmd = MMUEXT_TLB_FLUSH_MULTI;  in xen_flush_tlb_multi()
1299 		args->op.cmd = MMUEXT_INVLPG_MULTI;  in xen_flush_tlb_multi()
1332 	op.cmd = kernel ? MMUEXT_NEW_BASEPTR : MMUEXT_NEW_USER_BASEPTR;  in __xen_write_cr3()
1512 static inline void __pin_pagetable_pfn(unsigned cmd, unsigned long pfn)  in __pin_pagetable_pfn()  argument
1519 	op->cmd = cmd;  in __pin_pagetable_pfn()
2399 	op->cmd = MMUEXT_TLB_FLUSH_ALL;  in xen_flush_tlb_all()