NULL /* unused */
};
- static unsigned int callback_mask =
+ static const unsigned int callback_mask =
1 << SH_type_l1_32_shadow
| 1 << SH_type_fl1_32_shadow
| 1 << SH_type_l1_pae_shadow
NULL /* unused */
};
- static unsigned int callback_mask =
+ static const unsigned int callback_mask =
1 << SH_type_l1_32_shadow
| 1 << SH_type_fl1_32_shadow
| 1 << SH_type_l1_pae_shadow
};
/* Another lookup table, for choosing which mask to use */
- static unsigned int masks[SH_type_unused] = {
+ static const unsigned int masks[SH_type_unused] = {
0, /* none */
1 << SH_type_l2_32_shadow, /* l1_32 */
0, /* fl1_32 */
void sh_reset_l3_up_pointers(struct vcpu *v)
{
- static hash_callback_t callbacks[SH_type_unused] = {
+ static const hash_callback_t callbacks[SH_type_unused] = {
NULL, /* none */
NULL, /* l1_32 */
NULL, /* fl1_32 */
NULL, /* p2m */
NULL /* unused */
};
- static unsigned int callback_mask = 1 << SH_type_l3_64_shadow;
+ static const unsigned int callback_mask = 1 << SH_type_l3_64_shadow;
hash_foreach(v, callback_mask, callbacks, _mfn(INVALID_MFN));
}