Function sel4_cspace::interface::same_object_as

source · 
pub fn same_object_as(cap1: &cap_t, cap2: &cap_t) -> bool
Expand description

判断两个cap指向的内核对象是否是同一个内存区域