Huw Davies (@huw) commented about server/object.h:
unsigned int options); /* return list of kernel objects */ struct list *(*get_kernel_obj_list)(struct object *);
- /* return the memory mapping for the object */
- struct mapping *(*get_object_mapping)(struct object *);
Adding another `object_ops` member just for this seems like overkill, but I'm going to approve this and let @julliard decide.