Searched refs:tail_start (Results 1 – 1 of 1) sorted by relevance
201 uint64_t head_start, tail_start, head_length, tail_length; in tdx_accept_ram_range() local240 tail_start = address + length; in tdx_accept_ram_range()241 if (tail_start < tmp_address + tmp_length) { in tdx_accept_ram_range()242 tail_length = tmp_address + tmp_length - tail_start; in tdx_accept_ram_range()243 tdx_add_ram_entry(tail_start, tail_length, TDX_RAM_UNACCEPTED); in tdx_accept_ram_range()