7 lines
173 B
C++
7 lines
173 B
C++
#include "object/port.h"
|
|
|
|
#include "scheduler/scheduler.h"
|
|
|
|
void Port::WriteKernel(uint64_t init, glcr::RefPtr<Capability> cap) {
|
|
message_queue_.WriteKernel(init, cap);
|
|
}
|