Searched refs:kernel_max (Results 1 – 2 of 2) sorted by relevance
224 uint64_t kernel_max = VM_MIN_KERNEL_ADDRESS; in commpage_populate() local225 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()
651 uint64_t kernel_max = VM_MIN_KERNEL_ADDRESS; in commpage_populate() local652 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()