17 lines
433 B
Rust
17 lines
433 B
Rust
use types::bounded::CapSlot;
|
|
|
|
pub async fn send(endpoint: CapSlot, w0: usize, w1: usize, w2: usize, w3: usize) -> usize {
|
|
libkos::syscall::send(endpoint, w0, w1, w2, w3)
|
|
}
|
|
|
|
pub async fn receive(endpoint: CapSlot) -> (usize, usize, usize, usize) {
|
|
libkos::syscall::receive(endpoint)
|
|
}
|
|
|
|
pub async fn wait_for_interrupt(_irq: CapSlot) {
|
|
libkos::syscall::yield_now();
|
|
}
|
|
|
|
pub async fn acknowledge_interrupt(_irq: CapSlot) {
|
|
}
|