vmci_ctx_set_chkpt_state  144 drivers/misc/vmw_vmci/vmci_context.h int vmci_ctx_set_chkpt_state(u32 context_id, u32 cpt_type,
vmci_ctx_set_chkpt_state  751 drivers/misc/vmw_vmci/vmci_host.c 	set_info.result = vmci_ctx_set_chkpt_state(cid, set_info.cpt_type,