/* Return 1 if the SysAddr given by sys_addr matches the base/limit associated with node_id  */
static int amd64_base_limit_match(struct amd64_pvt *pvt, u64 sys_addr, int node_id)
/* Return 1 if the SysAddr given by sys_addr matches the base/limit associated with node_id  */
static int amd64_base_limit_match(struct amd64_pvt *pvt, u64 sys_addr, int node_id)
{
	u64 base, limit, addr;
	amd64_get_base_and_limit(pvt, node_id, &base, &limit);
	addr = sys_addr & 0x000000ffffffffffull;
	return (addr >= base) && (addr <= limit);
}