Searched refs:kernel_min (Results 1 – 2 of 2) sorted by relevance
267 uint64_t kernel_min = 0x0LL; in commpage_populate() local269 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()270 asb_kaddr += kernel_min; in commpage_populate()
650 uint64_t kernel_min = 0x0LL; in commpage_populate() local652 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()653 asb_kaddr += kernel_min; in commpage_populate()