Symbol: vmci_ctx_set_chkpt_state
drivers/misc/vmw_vmci/vmci_context.h
143
int vmci_ctx_set_chkpt_state(u32 context_id, u32 cpt_type,
drivers/misc/vmw_vmci/vmci_host.c
763
set_info.result = vmci_ctx_set_chkpt_state(cid, set_info.cpt_type,