device getters