STUB_SET_TIME     221 arch/ia64/kernel/efi.c STUB_SET_TIME(phys, phys_ptr)
STUB_SET_TIME     233 arch/ia64/kernel/efi.c STUB_SET_TIME(virt, id)