var amd64_2l4_2sys_2consts_8h =
[
    [ "L4_PAGESHIFT", "group__l4__memory__api.html#gad2f7e71d6265b2735f730dc90c54539a", null ],
    [ "L4_SUPERPAGESHIFT", "group__l4__memory__api.html#ga6ff8d213542e2b602ce10b8d9c4a7e0f", null ]
];