Searched refs:asb_kaddr (Results 1 – 2 of 2) sorted by relevance
627 uint64_t asb_value, asb_addr, asb_kvalue, asb_kaddr; in commpage_populate() local650 asb_kaddr = asb_rand_vals[randidx++ % nrandval]; in commpage_populate()653 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()654 asb_kaddr += kernel_min; in commpage_populate()655 commpage_update(_COMM_PAGE_ASB_TARGET_KERN_ADDRESS, &asb_kaddr, sizeof(asb_kaddr)); in commpage_populate()
199 uint64_t asb_value, asb_addr, asb_kvalue, asb_kaddr; in commpage_populate() local223 asb_kaddr = asb_rand_vals[randidx++ % nrandval]; in commpage_populate()226 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()227 asb_kaddr += kernel_min; in commpage_populate()228 *((uint64_t*)(_COMM_PAGE_ASB_TARGET_KERN_ADDRESS + _COMM_PAGE_RW_OFFSET)) = asb_kaddr; in commpage_populate()