Symbol: ripas
sys/arm64/arm64/rsi.c
104
rsi_set_addr_range_state(vm_paddr_t start, vm_paddr_t end, enum ripas state,
sys/arm64/arm64/rsi.c
119
rsi_set_memory_range(vm_paddr_t start, vm_paddr_t end, enum ripas state,
sys/arm64/include/rsi.h
127
enum ripas state, unsigned long flags, vm_paddr_t *top);