bundletype Segments_T =

{ include "${BUILDDIR}/oskit/machine/base_vm.h" linear_base_va }

C types:

extern oskit_addr_t linear_base_va;