Searched defs:write_vmx_ckpt (Results 1 – 2 of 2) sorted by relevance
571 int write_vmx_ckpt(pid_t child, unsigned long vmx[][2]) in write_vmx_ckpt() function
639 int write_vmx_ckpt(pid_t child, unsigned long vmx[][2]) in write_vmx_ckpt() function