pub type __guest_handle_mmuext_op_t = *mut mmuext_op_t;