get_memory


Description:

public uint64 get_memory ()

Parameters:

this

a Domain

Returns:

maximum amount of RAM in kilobytes (i.e. blocks of 1024 bytes).