2023-06-12 19:20:51 -07:00
|
|
|
#include "object/port.h"
|
|
|
|
|
2023-06-12 20:56:25 -07:00
|
|
|
#include "scheduler/scheduler.h"
|
|
|
|
|
2023-06-21 15:07:40 -07:00
|
|
|
void Port::WriteKernel(uint64_t init, glcr::RefPtr<Capability> cap) {
|
2023-06-20 15:29:32 -07:00
|
|
|
message_queue_.WriteKernel(init, cap);
|
2023-06-17 00:07:58 -07:00
|
|
|
}
|