rsi_set_addr_range_state
rsi_set_addr_range_state(pa, pa + L3_SIZE, RSI_RIPAS_EMPTY,
rsi_set_addr_range_state(pa, pa + L3_SIZE, RSI_RIPAS_RAM,
ret = rsi_set_addr_range_state(start, end, state, flags, &top);
unsigned long rsi_set_addr_range_state(vm_paddr_t start, vm_paddr_t end,