| Index: mojo/edk/system/core.h
|
| diff --git a/mojo/edk/system/core.h b/mojo/edk/system/core.h
|
| index 8c794219138fe06ae140cf9663ba50ac84cb5b1f..59fcee848201cff395c7f5347aef23e8613658bd 100644
|
| --- a/mojo/edk/system/core.h
|
| +++ b/mojo/edk/system/core.h
|
| @@ -12,7 +12,7 @@
|
| #include "mojo/edk/system/mapping_table.h"
|
| #include "mojo/edk/system/memory.h"
|
| #include "mojo/edk/system/mutex.h"
|
| -#include "mojo/edk/system/ref_ptr.h"
|
| +#include "mojo/edk/util/ref_ptr.h"
|
| #include "mojo/public/c/system/buffer.h"
|
| #include "mojo/public/c/system/data_pipe.h"
|
| #include "mojo/public/c/system/message_pipe.h"
|
| @@ -48,7 +48,7 @@ class Core {
|
|
|
| // Looks up the dispatcher for the given handle. Returns null if the handle is
|
| // invalid.
|
| - RefPtr<Dispatcher> GetDispatcher(MojoHandle handle);
|
| + util::RefPtr<Dispatcher> GetDispatcher(MojoHandle handle);
|
|
|
| // Like |GetDispatcher()|, but also removes the handle from the handle table.
|
| // On success, gets the dispatcher for a given handle (which should not be
|
| @@ -57,7 +57,7 @@ class Core {
|
| // |MOJO_RESULT_INVALID_ARGUMENT| if there's no dispatcher for the given
|
| // handle or |MOJO_RESULT_BUSY| if the handle is marked as busy.)
|
| MojoResult GetAndRemoveDispatcher(MojoHandle handle,
|
| - RefPtr<Dispatcher>* dispatcher);
|
| + util::RefPtr<Dispatcher>* dispatcher);
|
|
|
| // Watches on the given handle for the given signals, calling |callback| when
|
| // a signal is satisfied or when all signals become unsatisfiable. |callback|
|
|
|