a734c64bff58bda2fa48c2795453e092167b0ff7vboxsync * Get size of base memory from BIOS free base memory counter
a734c64bff58bda2fa48c2795453e092167b0ff7vboxsync * @ret basemem Base memory size, in kB
a734c64bff58bda2fa48c2795453e092167b0ff7vboxsyncextern unsigned int extmemsize ( void );
a734c64bff58bda2fa48c2795453e092167b0ff7vboxsync#endif /* _MEMSIZES_H */