| 311 | #endif /* _SYS__CPUSET_H_ */ |
| 312 | |
| 313 | static __inline int |
| 314 | vcpu_rendezvous_pending(struct vm_eventinfo *info) |
| 315 | { |
| 316 | |
| 317 | return (*((uintptr_t *)(info->rptr)) != 0); |
| 318 | } |
| 319 | |
| 320 | static __inline int |
| 321 | vcpu_suspended(struct vm_eventinfo *info) |