= {
{ .mutex = vr_mutex + 0, .vr_page = 0x0 }, { .mutex = vr_mutex + 0, .vr_page = 0x1 },
{ .mutex = vr_mutex + 1, .vr_page = 0x0 }, { .mutex = vr_mutex + 1, .vr_page = 0x1 },
{ .mutex = vr_mutex + 2, .vr_page = 0x0 }, { .mutex = vr_mutex + 2, .vr_page = 0x1 },
{ .mutex = vr_mutex + 3, .vr_page = 0x0 }, { .mutex = vr_mutex + 3, .vr_page = 0x1 },
{ .mutex = vr_mutex + 4, .vr_page = 0x0 }, { .mutex = vr_mutex + 4, .vr_page = 0x1 },
{ .mutex = vr_mutex + 5, .vr_page = 0x0 }, { .mutex = vr_mutex + 5, .vr_page = 0x1 },
{ .mutex = vr_mutex + 6, .vr_page = 0x0 }, { .mutex = vr_mutex + 6, .vr_page = 0x1 },
{ .mutex = vr_mutex + 7, .vr_page = 0x0 }, { .mutex = vr_mutex + 7, .vr_page = 0x1 },
{ .mutex = vr_mutex + 8, .vr_page = 0x0 }, { .mutex = vr_mutex + 8, .vr_page = 0x1 },
{ .mutex = vr_mutex + 9, .vr_page = 0x0 }, { .mutex = vr_mutex + 9, .vr_page = 0x1 },
{ .mutex = vr_mutex + 10, .vr_page = 0x0 }, { .mutex = vr_mutex + 10, .vr_page = 0x1 },
{ .mutex = vr_mutex + 11, .vr_page = 0x0 }, { .mutex = vr_mutex + 11, .vr_page = 0x1 },
}