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