Function read_kernel_u64_var

src/os/linux/pagecache.cpp:280–285

Read a kernel u64 variable (e.g. vmemmap_base) addressed by its symbol.

// Read a kernel u64 variable (e.g. vmemmap_base) addressed by its symbol.
u64 read_kernel_u64_var(const Engine& eng, const char* sym_name) {
    auto* s = eng.isf().find_symbol(sym_name);
    if (!s) return 0;
    u64 v = 0;
    return kva_read_pod(eng, s->address, v) ? v : 0;
}

const char* mode_to_type(u16 m) {
    switch (m & 0170000) {