vmci_ctx_get_chkpt_state  142 drivers/misc/vmw_vmci/vmci_context.h int vmci_ctx_get_chkpt_state(u32 context_id, u32 cpt_type,
vmci_ctx_get_chkpt_state  714 drivers/misc/vmw_vmci/vmci_host.c 	get_info.result = vmci_ctx_get_chkpt_state(cid, get_info.cpt_type,