Searched refs:asb_kaddr (Results 1 – 2 of 2) sorted by relevance
626 uint64_t asb_value, asb_addr, asb_kvalue, asb_kaddr; in commpage_populate() local649 asb_kaddr = asb_rand_vals[randidx++ % nrandval]; in commpage_populate()652 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()653 asb_kaddr += kernel_min; in commpage_populate()654 commpage_update(_COMM_PAGE_ASB_TARGET_KERN_ADDRESS, &asb_kaddr, sizeof(asb_kaddr)); in commpage_populate()
242 uint64_t asb_value, asb_addr, asb_kvalue, asb_kaddr; in commpage_populate() local266 asb_kaddr = asb_rand_vals[randidx++ % nrandval]; in commpage_populate()269 asb_kaddr %= (kernel_max - kernel_min); in commpage_populate()270 asb_kaddr += kernel_min; in commpage_populate()271 *((uint64_t*)(_COMM_PAGE_ASB_TARGET_KERN_ADDRESS + _COMM_PAGE_RW_OFFSET)) = asb_kaddr; in commpage_populate()