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