sys/dev/vmt/vmt_subr.c

1027

if (__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) == 0) {

sys/dev/vmt/vmt_subr.c

1052

if ((__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) & VM_RPC_REPLY_SUCCESS) ==

sys/dev/vmt/vmt_subr.c

1059

if ((__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) & VM_RPC_REPLY_DORECV) ==

sys/dev/vmt/vmt_subr.c

1065

*dataid = __SHIFTOUT(frame.edx, VM_REG_HIGH_MASK);

sys/dev/vmt/vmt_subr.c

888

if (__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) != 1 ||

sys/dev/vmt/vmt_subr.c

897

rpc->channel = __SHIFTOUT(frame.edx, VM_REG_HIGH_MASK);

sys/dev/vmt/vmt_subr.c

919

if (__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) == 0 ||

sys/dev/vmt/vmt_subr.c

950

if ((__SHIFTOUT(frame.ecx, VM_REG_HIGH_MASK) & VM_RPC_REPLY_SUCCESS) ==

sys/dev/vmt/vmtvar.h

44

(__SHIFTIN((hi), VM_REG_HIGH_MASK) | __SHIFTIN((low), VM_REG_LOW_MASK))