Searched refs:tail_start (Results 1 – 1 of 1) sorted by relevance
204 uint64_t head_start, tail_start, head_length, tail_length; in tdx_accept_ram_range() local243 tail_start = address + length; in tdx_accept_ram_range()244 if (tail_start < tmp_address + tmp_length) { in tdx_accept_ram_range()245 tail_length = tmp_address + tmp_length - tail_start; in tdx_accept_ram_range()246 tdx_add_ram_entry(tail_start, tail_length, TDX_RAM_UNACCEPTED); in tdx_accept_ram_range()