Home
last modified time | relevance | path

Searched refs:old_p4d (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/arch/arm64/mm/
Dmmu.c411 p4d_t old_p4d = READ_ONCE(*p4dp); in alloc_init_p4d() local
418 BUG_ON(p4d_val(old_p4d) != 0 && in alloc_init_p4d()
419 p4d_val(old_p4d) != READ_ONCE(p4d_val(*p4dp))); in alloc_init_p4d()