☰
In sel4_common::sbi
?
Function
sel4_common
::
sbi
::
set_timer
source
·
[
−
]
pub fn set_timer(timer:
usize
)