Symbol: vmci_ctx_get_chkpt_state
drivers/misc/vmw_vmci/vmci_context.h
141
int vmci_ctx_get_chkpt_state(u32 context_id, u32 cpt_type,
drivers/misc/vmw_vmci/vmci_host.c
726
get_info.result = vmci_ctx_get_chkpt_state(cid, get_info.cpt_type,