symbol_get_u64
if (symbol_get_u64("rd_root_size", &rd_root_size) != 0)
if (symbol_get_u64("rd_root_image", &rd_root_image) != 0)
int symbol_get_u64(const char *, uint64_t *);