hgsmi_report_flags_location
hgsmi_report_flags_location(vbox->guest_pool, GUEST_HEAP_OFFSET(vbox) +
int hgsmi_report_flags_location(struct gen_pool *ctx, u32 location);